🔗 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»

1. 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
2. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
3. Towards Robust Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Thang Luong, Dawsen Hwang, Hoang H Nguyen, et al.2025 · 40 citations
4. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
5. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
6. From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement LearningConference on Empirical Methods in Natural Language Processing (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 PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
8. AlphaGo Moment for Model Architecture DiscoveryarXiv:2507.18074Yixiu Liu, Yang Nan, Weixian Xu, et al.2025 · 8 citations
9. 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
10. VisAidMath: Benchmarking Visual-Aided Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Jingkun Ma, Runzhe Zhan, Yang Li, et al.2026 · 5 citations
11. A Survey of Deep Learning for Geometry Problem SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianzhe Ma, Wenxuan Wang, Qin Jin2026 · 1 citation
12. AraEval: An Arabic Multi-Task Evaluation Suite for Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Alhanoof Althnian, Norah A. Alzahrani, Shaykhah Z. Alsubaie, et al.2025 · 1 citation
13. GeometryZero: Advancing Geometry Solving via Group Contrastive Policy OptimizationFindings of the Association for Computational LinguisticsYikun Wang, Yibin Wang, Dianyi Wang, 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/chervonyi-2025-gold-medalist-performance-solving-olympiad/cited-by/