🔗 Who cites «Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad»

30 papers of our library cite it (of the 149,439 whose bibliographies we read) · 15 with a page here, the most cited first · ← back to «Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad»

1. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
2. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
3. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
4. Phi-4-reasoning Technical ReportarXiv:2504.21318Marah Abdin, Sahaj Agarwal, Ahmed Awadallah, et al.2025 · 64 citations
5. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
6. A Sober Look at Progress in Language Model Reasoning: Pitfalls and Paths to ReproducibilityarXiv:2504.07086Andreas Hochlehnert, Hardik Bhatnagar, Vishaal Udandarao, et al.2025 · 36 citations
7. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
8. PHYBench: Holistic Evaluation of Physical Perception and Reasoning in Large Language ModelsConference on Neural Information Processing Systems (NeurIPS)Shi Qiu, Shaoyang Guo, Zhuo-Yang Song, et al.2025 · 21 citations
9. When AI Co-Scientists Fail: SPOT-a Benchmark for Automated Verification of Scientific ResearcharXiv:2505.11855Guijin Son, Jiwoo Hong, Honglu Fan, et al.2025 · 13 citations
10. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations
11. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citations
12. 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
13. AlgBench: To What Extent Do Large Reasoning Models Understand Algorithms?Findings of the Association for Computational LinguisticsHenan Sun, Kaichi Yu, Yuyao Wang, et al.2026
14. Beyond Reasoning Gains: Mitigating General-Capability Forgetting in Large Reasoning ModelsFindings of the Association for Computational LinguisticsHoang Phan, Xianjun Yang, Yuanshun Yao, et al.2026
15. Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal ExplorationAnnual Meeting of the Association for Computational Linguistics (ACL)Dayu Wang, Jiaye Yang, Weikang Li, et al.2026

15 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/petrov-2025-proof-or-bluff-evaluating-llms/cited-by/