🔗 Who cites «The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs»

10 papers of our library cite it (of the 149,439 whose bibliographies we read) · 4 with a page here, the most cited first · ← back to «The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs»

1. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
2. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
3. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
4. Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.2026

6 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/dekoninck-2025-open-proof-corpus-large-scale/cited-by/