F A

KokunoYumeto

AI & ML interests

None yet

Recent Activity

updated a dataset 8 days ago

KokunoYumeto/emmy-noether

published a dataset 9 days ago

KokunoYumeto/emmy-noether

updated a dataset 11 days ago

KokunoYumeto/open-math-courses

View all activity

Organizations

None yet

KokunoYumeto 's datasets 4

KokunoYumeto/emmy-noether

Updated 8 days ago • 176

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

KokunoYumeto/stacks-project-corrections

Viewer • Updated 24 days ago • 2.3k • 79