F A

KokunoYumeto

AI & ML interests

None yet

Recent Activity

updated a dataset about 13 hours ago

KokunoYumeto/open-math-courses

updated a dataset about 16 hours ago

KokunoYumeto/open-math-proof-checks

updated a collection 1 day ago

Open Mathematics

View all activity

Organizations

None yet

KokunoYumeto 's datasets 3

KokunoYumeto/open-math-proof-checks

Viewer • Updated about 8 hours ago • 163 • 192

KokunoYumeto/open-math-courses

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

KokunoYumeto/stacks-project-corrections

Viewer • Updated 1 day ago • 2.3k • 16