SphereLab/FormalMATH-All download history

SphereLab/FormalMATH-All is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 633 times (289 in the last 7 days), and 11,397 times in total. It ranks #27,430 among datasets by monthly downloads.

Open SphereLab/FormalMATH-All on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.