ChristianZ97/NuminaMath-LEAN-Filtered-Seed download history

ChristianZ97/NuminaMath-LEAN-Filtered-Seed is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 13 times (4 in the last 7 days), and 99 times in total. It ranks #492,381 among datasets by monthly downloads.

Open ChristianZ97/NuminaMath-LEAN-Filtered-Seed on Hugging Face

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