🔗 Who cites «History of Interactive Theorem Proving»

15 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 «History of Interactive Theorem Proving»

1. Mathematical Capabilities of ChatGPTConference on Neural Information Processing Systems (NeurIPS)Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.2023 · 449 citations
2. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
3. Deep Network Guided Proof SearchEPiC series in computingSarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations
4. Premise Selection for Theorem Proving by Deep Graph EmbeddingarXiv:1709.09994Mingzhe Wang, Yihe Tang, Jian Wang, et al.2017 · 106 citations
5. Learning to Prove Theorems via Interacting with Proof AssistantsarXiv:1905.09381Kaiyu Yang, Jia Deng2019 · 90 citations
6. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
7. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem ProvingarXiv:1703.00426Cezary Kaliszyk, François Chollet, Christian Szegedy2017 · 48 citations
8. 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
9. Evaluating Language Models for Mathematics through InteractionsarXiv:2306.01694Katherine M. Collins, Albert Q. Jiang, Simon Frieder, et al.2023 · 40 citations
10. Proving Olympiad Algebraic Inequalities without Human DemonstrationsConference on Neural Information Processing Systems (NeurIPS)Chenrui Wei, Mengzhou Sun, Wei Wang2024 · 12 citations

5 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/harrison-2014-history-interactive-theorem-proving/cited-by/