--- title: "Who cites Gold-medalist Performance in — 28 citing papers" description: "28 papers of the Elamur Research library cite «Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2», found in their…" canonical: "https://research.elamur.ai/free/en/papers/chervonyi-2025-gold-medalist-performance-solving-olympiad/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/chervonyi-2025-gold-medalist-performance-solving-olympiad/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Gold-medalist Performance in Solving Olympiad…](https://md.research.elamur.ai/free/en/papers/chervonyi-2025-gold-medalist-performance-solving-olympiad/) / cited by # Who cites «Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2» 28 papers of our library cite it (of the 149,439 whose bibliographies we read) · 13 with a page here, the most cited first · [← back to «Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2»](https://md.research.elamur.ai/free/en/papers/chervonyi-2025-gold-medalist-performance-solving-olympiad/) 1. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/) 2. [**Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving arXiv:2507.23726**Luoxin Chen, Jinming Gu, Liankai Huang, et al.*2025 · 46 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-deep-broad-reasoning/) 3. **[Towards Robust Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/luong-2025-robust-mathematical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Thang Luong, Dawsen Hwang, Hoang H Nguyen, et al.*2025 · 40 citations* 4. [**DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning arXiv:2511.22570**Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.*2025 · 33 citations*](https://md.research.elamur.ai/free/en/papers/shao-2025-deepseekmath-v2-self-verifiable/) 5. **[Aristotle: IMO-level Automated Theorem Proving](https://md.research.elamur.ai/free/en/papers/achim-2025-aristotle-imo-level-automated-theorem/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Tudor Achim, Alex Best, Alberto Bietti, et al.*2025 · 29 citations* 6. **[From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/jianu-2025-problem-solving-teaching-problem-solving/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**David Dinucu-Jianu, Jakub Macina, Nico Daheim, et al.*2025 · 19 citations* 7. [**Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics arXiv:2510.12787**Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/breen-2025-ax-prover-deep-reasoning-agentic/) 8. [**AlphaGo Moment for Model Architecture Discovery arXiv:2507.18074**Yixiu Liu, Yang Nan, Weixian Xu, et al.*2025 · 8 citations*](https://md.research.elamur.ai/free/en/papers/liu-2025-alphago-moment-model-architecture/) 9. **[Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.*2026 · 5 citations* 10. **[VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/ma-2026-visaidmath-benchmarking-visual-aided-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jingkun Ma, Runzhe Zhan, Yang Li, et al.*2026 · 5 citations* 11. **[A Survey of Deep Learning for Geometry Problem Solving](https://md.research.elamur.ai/free/en/papers/ma-2026-survey-deep-learning-geometry-problem/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jianzhe Ma, Wenxuan Wang, Qin Jin*2026 · 1 citation* 12. **[AraEval: An Arabic Multi-Task Evaluation Suite for Large Language Models](https://md.research.elamur.ai/free/en/papers/althnian-2025-araeval-arabic-multi-task-evaluation/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Alhanoof Althnian, Norah A. Alzahrani, Shaykhah Z. Alsubaie, et al.*2025 · 1 citation* 13. **[GeometryZero: Advancing Geometry Solving via Group Contrastive Policy Optimization](https://md.research.elamur.ai/free/en/papers/wang-2026-geometryzero-advancing-geometry-solving-group/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yikun Wang, Yibin Wang, Dianyi Wang, et al.*2026* 15 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/chervonyi-2025-gold-medalist-performance-solving-olympiad/) — Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2