---
title: "Who cites History of Interactive Theorem — 15 citing papers"
description: "15 papers of the Elamur Research library cite «History of Interactive Theorem Proving», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/harrison-2014-history-interactive-theorem-proving/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/harrison-2014-history-interactive-theorem-proving/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [History of Interactive Theorem Proving](https://md.research.elamur.ai/free/en/papers/harrison-2014-history-interactive-theorem-proving/) / cited by

# 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»](https://md.research.elamur.ai/free/en/papers/harrison-2014-history-interactive-theorem-proving/)

1. **[Mathematical Capabilities of ChatGPT](https://md.research.elamur.ai/free/en/papers/frieder-2023-mathematical-capabilities-chatgpt/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.*2023 · 449 citations*
2. [**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/)
3. **[Deep Network Guided Proof Search](https://md.research.elamur.ai/free/en/papers/loos-2017-deep-network-guided-proof-search/) [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)**Sarah Loos, Geoffrey Irving, Christian Szegedy, et al.*2017 · 139 citations*
4. [**Premise Selection for Theorem Proving by Deep Graph Embedding arXiv:1709.09994**Mingzhe Wang, Yihe Tang, Jian Wang, et al.*2017 · 106 citations*](https://md.research.elamur.ai/free/en/papers/wang-2017-premise-selection-theorem-proving-deep/)
5. [**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/)
6. [**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/)
7. [**HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving arXiv:1703.00426**Cezary Kaliszyk, François Chollet, Christian Szegedy*2017 · 48 citations*](https://md.research.elamur.ai/free/en/papers/kaliszyk-2017-holstep-machine-learning-dataset-higher/)
8. **[DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function](https://md.research.elamur.ai/free/en/papers/wang-2023-dt-solver-automated-theorem-proving/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Haiming Wang, Ye Yuan, Zhengying Liu, et al.*2023 · 40 citations*
9. [**Evaluating Language Models for Mathematics through Interactions arXiv:2306.01694**Katherine M. Collins, Albert Q. Jiang, Simon Frieder, et al.*2023 · 40 citations*](https://md.research.elamur.ai/free/en/papers/collins-2023-evaluating-language-models-mathematics-through/)
10. **[Proving Olympiad Algebraic Inequalities without Human Demonstrations](https://md.research.elamur.ai/free/en/papers/wei-2024-proving-olympiad-algebraic-inequalities-without/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Wei, Mengzhou Sun, Wei Wang*2024 · 12 citations*

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

- [← back to](https://md.research.elamur.ai/free/en/papers/harrison-2014-history-interactive-theorem-proving/) — History of Interactive Theorem Proving