Anon987281293/ProofRank-outputs

ProofRank: Evaluation Outputs Companion artifact to the NeurIPS 2026 submission "Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness". This dataset contains the complete LLM-judge outputs behind every number reported in the paper, so that all results can be recomputed without re-querying any model. It covers the ten evaluated models (GPT-5.4, Gemini-3.1-Pro, Gemini-3-Flash, GLM-5, DeepSeek-v3.2, Kimi-K2.5-Think, StepFun-3.5-Flash, Qwen3.5-397B… See the full description on the dataset page: https://huggingface.co/datasets/Anon987281293/ProofRank-outputs.