---
title: "Who cites Towards a Mathematics — 17 citing papers"
description: "17 papers of the Elamur Research library cite «Towards a Mathematics Formalisation Assistant using Large Language Models», found in…"
canonical: "https://research.elamur.ai/free/en/papers/agrawal-2022-mathematics-formalisation-assistant-large-language/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/agrawal-2022-mathematics-formalisation-assistant-large-language/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Towards a Mathematics Formalisation Assistant…](https://md.research.elamur.ai/free/en/papers/agrawal-2022-mathematics-formalisation-assistant-large-language/) / cited by

# Who cites «Towards a Mathematics Formalisation Assistant using Large Language Models»

17 papers of our library cite it (of the 149,439 whose bibliographies we read) · 10 with a page here, the most cited first · [← back to «Towards a Mathematics Formalisation Assistant using Large Language Models»](https://md.research.elamur.ai/free/en/papers/agrawal-2022-mathematics-formalisation-assistant-large-language/)

1. [**Lean-STaR: Learning to Interleave Thinking and Proving arXiv:2407.10040**Haohan Lin, Zhiqing Sun, Sean Welleck, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/lin-2024-lean-star-learning-interleave-thinking/)
2. [**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/)
3. [**Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization arXiv:2403.18120**Jin Peng Zhou, Charles Staats, Wenda Li, et al.*2024 · 45 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2024-don-t-trust-verify-grounding/)
4. [**Herald: A Natural Language Annotated Lean 4 Dataset arXiv:2410.10878**Guoxiong Gao, Yutong Wang, Jiedong Jiang, et al.*2024 · 33 citations*](https://md.research.elamur.ai/free/en/papers/gao-2024-herald-natural-language-annotated-lean/)
5. [**Autoformalizing Euclidean Geometry arXiv:2405.17216**Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.*2024 · 23 citations*](https://md.research.elamur.ai/free/en/papers/murphy-2024-autoformalizing-euclidean-geometry/)
6. **[Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency](https://md.research.elamur.ai/free/en/papers/li-2024-autoformalize-mathematical-statements-symbolic-equivalence/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zenan Li, Yifan Wu, Zhaoyu Li, et al.*2024 · 19 citations*
7. [**miniCTX: Neural Theorem Proving with (Long-)Contexts arXiv:2408.03350**Jiewen Hu, Thomas Zhu, Sean Welleck*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/hu-2024-minictx-neural-theorem-proving-long/)
8. **[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*
9. [**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/)
10. [**A New Approach Towards Autoformalization arXiv:2310.07957**Nilay Patel, Rahul Saha, Jeffrey Flanigan*2023 · 7 citations*](https://md.research.elamur.ai/free/en/papers/patel-2023-new-approach-towards-autoformalization/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/agrawal-2022-mathematics-formalisation-assistant-large-language/) — Towards a Mathematics Formalisation Assistant using Large Language Models