Hugging Face's logo
AI-MO 's Collections
Informal-Math
Kimina Prover Preview
AIMO Progress Prize
NuminaMath

Informal-Math

Contains all classifiers used by the pipelines for the "Informal Math Data" effort.

Upvote
-
This collection has no items.