Anon539823983/ProofRank-Examples download history

Anon539823983/ProofRank-Examples is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 51 times (4 in the last 7 days), and 51 times in total. It ranks #182,934 among datasets by monthly downloads.

ProofRank: Qualitative Examples of Grading Disagreements Companion artifact to the ICLR 2027 submission "Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness". We include supplementary examples in examples.md. Each one contains the problem ID and statement, two co

Open Anon539823983/ProofRank-Examples on Hugging Face

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