---
title: "Who cites Autoformalizing Euclidean — 23 citing papers"
description: "23 papers of the Elamur Research library cite «Autoformalizing Euclidean Geometry», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/murphy-2024-autoformalizing-euclidean-geometry/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/murphy-2024-autoformalizing-euclidean-geometry/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Autoformalizing Euclidean Geometry](https://md.research.elamur.ai/free/en/papers/murphy-2024-autoformalizing-euclidean-geometry/) / cited by

# 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»](https://md.research.elamur.ai/free/en/papers/murphy-2024-autoformalizing-euclidean-geometry/)

1. **[Lean Workbook: A large-scale Lean problem set formalized from natural language math problems](https://md.research.elamur.ai/free/en/papers/ying-2024-lean-workbook-large-scale-lean/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.*2024 · 80 citations*
2. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/)
3. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)
4. [**Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 arXiv:2502.03544**Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.*2025 · 31 citations*](https://md.research.elamur.ai/free/en/papers/chervonyi-2025-gold-medalist-performance-solving-olympiad/)
5. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.*2025 · 16 citations*
6. [**Autoformalization in the Era of Large Language Models: A Survey arXiv:2505.23486**Ke Weng, Lun Du, Sirui Li, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/weng-2025-autoformalization-era-large-language-models/)
7. **[miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward](https://md.research.elamur.ai/free/en/papers/ospanov-2025-minif2f-lean-revisited-reviewing-limitations/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh*2025 · 4 citations*
8. **[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*
9. **[MioFFAn: An Annotation Software for Formula Formalization with LLM Automation Capabilities](https://md.research.elamur.ai/free/en/papers/ruiz-2026-mioffan-annotation-software-formula-formalization/) [Natural Scientific Language Processing (NSLP) @ LREC](https://md.research.elamur.ai/free/en/venues/nslp/)**Nicolas Sibuet Ruiz, Horacio Saggion, Riccardo Rossi*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/papers/murphy-2024-autoformalizing-euclidean-geometry/) — Autoformalizing Euclidean Geometry