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

1. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
2. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
3. Don't Trust: Verify — Grounding LLM Quantitative Reasoning with AutoformalizationarXiv:2403.18120Jin Peng Zhou, Charles Staats, Wenda Li, et al.2024 · 45 citations
4. Herald: A Natural Language Annotated Lean 4 DatasetarXiv:2410.10878Guoxiong Gao, Yutong Wang, Jiedong Jiang, et al.2024 · 33 citations
5. Autoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 citations
6. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Yifan Wu, Zhaoyu Li, et al.2024 · 19 citations
7. miniCTX: Neural Theorem Proving with (Long-)ContextsarXiv:2408.03350Jiewen Hu, Thomas Zhu, Sean Welleck2024 · 18 citations
8. 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
9. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
10. A New Approach Towards AutoformalizationarXiv:2310.07957Nilay Patel, Rahul Saha, Jeffrey Flanigan2023 · 7 citations

7 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/agrawal-2022-mathematics-formalisation-assistant-large-language/cited-by/