nampdn-ai/mini-proofpile download history

nampdn-ai/mini-proofpile is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 13 times (3 in the last 7 days), and 410 times in total. It ranks #491,332 among datasets by monthly downloads.

Mini-Proofpile Mini-Proofpile is a filtered and higher quality version of the original proofpile dataset. What is Proofpile? ProofPile is a massive, high-quality dataset built specifically for training Large Language Models (LLMs) in advanced mathematics, quantitative r

Open nampdn-ai/mini-proofpile on Hugging Face

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