---
title: "Who cites Towards Finding Longer Proofs — 8 citing papers"
description: "8 papers of the Elamur Research library cite «Towards Finding Longer Proofs», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/zombori-2019-finding-longer-proofs/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/zombori-2019-finding-longer-proofs/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Towards Finding Longer Proofs](https://md.research.elamur.ai/free/en/papers/zombori-2019-finding-longer-proofs/) / cited by

# Who cites «Towards Finding Longer Proofs»

8 papers of our library cite it (of the 149,439 whose bibliographies we read) · 6 with a page here, the most cited first · [← back to «Towards Finding Longer Proofs»](https://md.research.elamur.ai/free/en/papers/zombori-2019-finding-longer-proofs/)

1. [**Learning to Prove Theorems by Learning to Generate Theorems arXiv:2002.07019**Mingzhe Wang, Jia Deng*2020 · 53 citations*](https://md.research.elamur.ai/free/en/papers/wang-2020-learning-prove-theorems-learning-generate/)
2. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)
3. [**INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving arXiv:2007.02924**Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.*2020 · 41 citations*](https://md.research.elamur.ai/free/en/papers/wu-2020-int-inequality-benchmark-evaluating-generalization/)
4. [**Learning to Reason in Large Theories without Imitation arXiv:1905.10501**Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.*2019 · 36 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2019-learning-reason-large-theories-without/)
5. [**TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning arXiv:2102.09756**Minchao Wu, Michael Norrish, Christian Walder, et al.*2021 · 24 citations*](https://md.research.elamur.ai/free/en/papers/wu-2021-tacticzero-learning-prove-theorems-scratch/)
6. [**Learning to Prove from Synthetic Theorems arXiv:2006.11259**Eser Aygün, Zafarali Ahmed, Ankit Anand, et al.*2020 · 12 citations*](https://md.research.elamur.ai/free/en/papers/aygun-2020-learning-prove-synthetic-theorems/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/zombori-2019-finding-longer-proofs/) — Towards Finding Longer Proofs