🔗 Who cites «Holophrasm: a neural Automated Theorem Prover for higher-order logic»

26 papers of our library cite it (of the 149,439 whose bibliographies we read) · 21 with a page here, the most cited first · ← back to «Holophrasm: a neural Automated Theorem Prover for higher-order logic»

1. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110Kunhao Zheng, Jesse Michael Han, Stanislas Polu2021 · 257 citations
2. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
3. HyperTree Proof Search for Neural Theorem ProvingConference on Neural Information Processing Systems (NeurIPS)Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 · 151 citations
4. Deep Network Guided Proof SearchEPiC series in computingSarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations
5. Premise Selection for Theorem Proving by Deep Graph EmbeddingarXiv:1709.09994Mingzhe Wang, Yihe Tang, Jian Wang, et al.2017 · 106 citations
6. GamePad: A Learning Environment for Theorem ProvingarXiv:1806.00608Daniel Huang, Prafulla Dhariwal, Dawn Song, et al.2018 · 94 citations
7. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
8. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
9. HOList: An Environment for Machine Learning of Higher-Order Theorem ProvingarXiv:1904.03241Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, et al.2019 · 78 citations
10. NaturalProofs: Mathematical Theorem Proving in Natural LanguagearXiv:2104.01112Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.2021 · 76 citations
11. Learning to Prove Theorems by Learning to Generate TheoremsarXiv:2002.07019Mingzhe Wang, Jia Deng2020 · 53 citations
12. Reinforcement Learning of Theorem ProvingarXiv:1805.07563Cezary Kaliszyk, Josef Urban, Henryk Michalewski, et al.2018 · 50 citations
13. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
14. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
15. DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value FunctionAnnual Meeting of the Association for Computational Linguistics (ACL)Haiming Wang, Ye Yuan, Zhengying Liu, et al.2023 · 40 citations
16. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
17. Metamath: A Computer Language for Mathematical ProofsLulu Press (2nd ed.)Norman Megill, David A. Wheeler2019 · 25 citations
18. Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
19. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
20. Guiding High-Performance SAT Solvers with Unsat-Core PredictionsarXiv:1903.04671 (International Conference on Theory and Applications of Satisfiability Testing. Springer, Cham, 2019)Daniel Selsam, Nikolaj Bjørner2019 · 16 citations
21. Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement LearningarXiv:1811.00796Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai2018 · 15 citations

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

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/papers/whalen-2016-holophrasm-neural-automated-theorem-prover/cited-by/