F A

KokunoYumeto's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset about 14 hours ago

KokunoYumeto/open-math-courses

Viewer • Updated about 14 hours ago • 2.71k • 2.24k

updated a dataset about 17 hours ago

KokunoYumeto/open-math-proof-checks

Viewer • Updated about 9 hours ago • 163 • 192

updated a collection 1 day ago

Open Mathematics

Collection

Graduate and research-level mathematics courses with complete proofs (CC0), and AI proof drafts with step-by-step checks. • 3 items • Updated 1 day ago

updated a dataset 1 day ago

KokunoYumeto/stacks-project-corrections

Viewer • Updated 1 day ago • 2.3k • 16

published a dataset 1 day ago

KokunoYumeto/stacks-project-corrections

Viewer • Updated 1 day ago • 2.3k • 16

updated a collection 2 days ago

Open Mathematics

Collection

Graduate and research-level mathematics courses with complete proofs (CC0), and AI proof drafts with step-by-step checks. • 3 items • Updated 1 day ago

published 2 datasets 2 days ago

KokunoYumeto/open-math-courses

Viewer • Updated about 14 hours ago • 2.71k • 2.24k

KokunoYumeto/open-math-proof-checks

Viewer • Updated about 9 hours ago • 163 • 192