Anon539823983/ProofRank download history

Anon539823983/ProofRank is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 58 times (2 in the last 7 days), and 58 times in total. It ranks #166,890 among datasets by monthly downloads.

ProofRank: Evaluating LLM Proof Quality beyond Correctness This dataset contains a collection of final-answer mathematical problems used for the ProofRank evaluation benchmark. It combines high-school level competition problems from MathArena (AIME, HMMT, Apex) and IMO-AnswerBench to

Open Anon539823983/ProofRank on Hugging Face

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