SphereLab/FormalMATH-Lite download history

SphereLab/FormalMATH-Lite is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 187 times (37 in the last 7 days), and 2,975 times in total. It ranks #71,580 among datasets by monthly downloads.

Open SphereLab/FormalMATH-Lite on Hugging Face

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