WilhelmH/proofsolver-1300 download history

WilhelmH/proofsolver-1300 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 11 times (1 in the last 7 days), and 127 times in total. It ranks #540,266 among datasets by monthly downloads.

ProofSolver-1300 ProofSolver-1300 is a collection of 1310 mathematical proof problems. Each example pairs a statement to prove with a detailed reasoning trace and a clean final proof. The dataset is meant for training and evaluating models on step by step mathematical reasoning and pr

Open WilhelmH/proofsolver-1300 on Hugging Face

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