--- title: "Who cites DeepMath - Deep Sequence — 69 citing papers" description: "69 papers of the Elamur Research library cite «DeepMath - Deep Sequence Models for Premise Selection», found in their bibliographies; the…" canonical: "https://research.elamur.ai/free/en/papers/alemi-2016-deepmath-deep-sequence-models-premise/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/alemi-2016-deepmath-deep-sequence-models-premise/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [DeepMath - Deep Sequence Models for Premise…](https://md.research.elamur.ai/free/en/papers/alemi-2016-deepmath-deep-sequence-models-premise/) / cited by # Who cites «DeepMath - Deep Sequence Models for Premise Selection» 69 papers of our library cite it (of the 149,439 whose bibliographies we read) · 15 with a page here, the most cited first · [← back to «DeepMath - Deep Sequence Models for Premise Selection»](https://md.research.elamur.ai/free/en/papers/alemi-2016-deepmath-deep-sequence-models-premise/) 1. **[Solving Quantitative Reasoning Problems with Language Models](https://md.research.elamur.ai/free/en/papers/lewkowycz-2022-solving-quantitative-reasoning-problems-language/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.*2022 · 992 citations* 2. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations* 3. [**Generative Language Modeling for Automated Theorem Proving arXiv:2009.03393**Stanislas Polu, Ilya Sutskever*2020 · 241 citations*](https://md.research.elamur.ai/free/en/papers/polu-2020-generative-language-modeling-automated-theorem/) 4. [**Autoformalization with Large Language Models arXiv:2205.12615**Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.*2022 · 204 citations*](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/) 5. **[A Survey of Machine Learning for Big Code and Naturalness](https://md.research.elamur.ai/free/en/papers/allamanis-2017-survey-machine-learning-big-code/) [ACM Computing Surveys](https://md.research.elamur.ai/free/en/venues/acm-computing-surveys/)**Miltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, et al.*2017 · 167 citations* 6. [**ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics arXiv:2302.12433**Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.*2023 · 142 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-proofnet-autoformalizing-formally-proving-undergraduate/) 7. [**Deep Network Guided Proof Search arXiv:1701.06972 (In Thomas Eiter and David Sands, editors, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21). EPiC Series in Computing, vol. 46, pages 85-105, EasyChair, 2017. ISSN 2398-7340)**Sarah Loos, Geoffrey Irving, Christian Szegedy, et al.*2017 · 139 citations*](https://md.research.elamur.ai/free/en/papers/loos-2017-deep-network-guided-proof-search/) 8. [**Formal Mathematics Statement Curriculum Learning arXiv:2202.01344**Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.*2022 · 133 citations*](https://md.research.elamur.ai/free/en/papers/polu-2022-formal-mathematics-statement-curriculum-learning/) 9. [**Learning to Prove Theorems via Interacting with Proof Assistants arXiv:1905.09381**Kaiyu Yang, Jia Deng*2019 · 90 citations*](https://md.research.elamur.ai/free/en/papers/yang-2019-learning-prove-theorems-interacting-proof/) 10. [**Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving arXiv:2502.07640**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 84 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-frontier-model-open/) 11. [**LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656**Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.*2023 · 79 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/) 12. [**Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers arXiv:2205.10893**Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.*2022 · 79 citations*](https://md.research.elamur.ai/free/en/papers/jiang-2022-thor-wielding-hammers-integrate-language/) 13. [**HOList: An Environment for Machine Learning of Higher-Order Theorem Proving arXiv:1904.03241**Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, et al.*2019 · 78 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2019-holist-environment-machine-learning-higher/) 14. [**NaturalProofs: Mathematical Theorem Proving in Natural Language arXiv:2104.01112**Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.*2021 · 76 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/) 15. **[Premise Selection in Natural Language Mathematical Texts](https://md.research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Deborah Ferreira, André Freitas*2020 · 44 citations* 54 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/alemi-2016-deepmath-deep-sequence-models-premise/) — DeepMath - Deep Sequence Models for Premise Selection