F A

KokunoYumeto's activity

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

updated a dataset 8 days ago

KokunoYumeto/emmy-noether

Updated 8 days ago • 176

published a dataset 9 days ago

KokunoYumeto/emmy-noether

Updated 8 days ago • 176

updated a dataset 11 days ago

KokunoYumeto/open-math-courses

Viewer • Updated 11 days ago • 5.12k • 12k

updated a dataset 19 days ago

KokunoYumeto/open-math-proof-checks

Viewer • Updated 19 days ago • 10.1k • 11k

updated a dataset 24 days ago

KokunoYumeto/stacks-project-corrections

Viewer • Updated 24 days ago • 2.3k • 79

updated a collection 28 days ago

Open Mathematics

Collection

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

published a dataset 28 days ago

KokunoYumeto/stacks-project-corrections

Viewer • Updated 24 days ago • 2.3k • 79

updated a collection 28 days ago

Open Mathematics

Collection

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

published 2 datasets 28 days ago

KokunoYumeto/open-math-courses

Viewer • Updated 11 days ago • 5.12k • 12k

KokunoYumeto/open-math-proof-checks

Viewer • Updated 19 days ago • 10.1k • 11k