🔗 Who cites «Autoformalizing Euclidean Geometry»

23 papers of our library cite it (of the 149,439 whose bibliographies we read) · 9 with a page here, the most cited first · ← back to «Autoformalizing Euclidean Geometry»

1. Lean Workbook: A large-scale Lean problem set formalized from natural language math problemsConference on Neural Information Processing Systems (NeurIPS)Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.2024 · 80 citations
2. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
3. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
4. Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2arXiv:2502.03544Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.2025 · 31 citations
5. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
6. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
7. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
8. 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
9. MioFFAn: An Annotation Software for Formula Formalization with LLM Automation CapabilitiesNatural Scientific Language Processing (NSLP) @ LRECNicolas Sibuet Ruiz, Horacio Saggion, Riccardo Rossi2026

14 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/murphy-2024-autoformalizing-euclidean-geometry/cited-by/