🔗 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»

1. Learning to Prove Theorems by Learning to Generate TheoremsarXiv:2002.07019Mingzhe Wang, Jia Deng2020 · 53 citations
2. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
3. INT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citations
4. Learning to Reason in Large Theories without ImitationarXiv:1905.10501Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.2019 · 36 citations
5. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement LearningarXiv:2102.09756Minchao Wu, Michael Norrish, Christian Walder, et al.2021 · 24 citations
6. Learning to Prove from Synthetic TheoremsarXiv:2006.11259Eser Aygün, Zafarali Ahmed, Ankit Anand, et al.2020 · 12 citations

2 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/zombori-2019-finding-longer-proofs/cited-by/