Anon539823983/ProofRank-outputs download history

Anon539823983/ProofRank-outputs is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 334 times (11 in the last 7 days), and 334 times in total. It ranks #45,136 among datasets by monthly downloads.

ProofRank: Evaluation Outputs Companion artifact to the ICLR 2027 submission "Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness". This dataset contains the LLM-judge outputs behind every number reported in the paper, so that all results can be recomputed withou

Open Anon539823983/ProofRank-outputs on Hugging Face

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