ChristianZ97/NuminaMath-LEAN-cleaned download history

ChristianZ97/NuminaMath-LEAN-cleaned is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 54 times (6 in the last 7 days), and 1,181 times in total. It ranks #176,012 among datasets by monthly downloads.

NuminaMath-LEAN-cleaned Dataset Description This is a cleaned and filtered version of AI-MO/NuminaMath-LEAN dataset, optimized for theorem proving training. Cleaning Process The dataset has been automatically cleaned with the following improvements: Removed all comme

Open ChristianZ97/NuminaMath-LEAN-cleaned on Hugging Face

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