🔗 Who cites «Generating Correctness Proofs with Neural Networks»

22 papers of our library cite it (of the 149,439 whose bibliographies we read) · 15 with a page here, the most cited first · ← back to «Generating Correctness Proofs with Neural Networks»

1. Baldur: Whole-Proof Generation and Repair with Large Language ModelsarXiv:2303.04910Emily First, Markus N. Rabe, Talia Ringer, et al.2023 · 175 citations
2. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
3. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
4. Mathematical Reasoning via Self-supervised Skip-tree TrainingarXiv:2006.04757Markus N. Rabe, Dennis Lee, Kshitij Bansal, et al.2020 · 54 citations
5. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
6. An In-Context Learning Agent for Formal Theorem-ProvingarXiv:2310.04353Amitayush Thakur, George Tsoukalas, Yeming Wen, et al.2023 · 47 citations
7. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
8. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
9. Learning to Reason in Large Theories without ImitationarXiv:1905.10501Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.2019 · 36 citations
10. Passport: Improving Automated Formal Verification Using IdentifiersarXiv:2204.10370 (ACM Transactions on Programming Languages and Systems (TOPLAS), 45(2):12:1-12:30, June 2023)Alex Sanchez-Stern, Emily First, Timothy Zhou, et al.2022 · 35 citations
11. Graph Representations for Higher-Order Logic and Theorem ProvingProceedings of the AAAI Conference on Artificial IntelligenceAditya Paliwal, Sarah Loos, Markus Rabe, et al.2019 · 33 citations
12. AutoVerus: Automated Proof Generation for Rust CodeProceedings of the ACM on Programming LanguagesChenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, et al.2024 · 28 citations
13. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement LearningarXiv:2102.09756Minchao Wu, Michael Norrish, Christian Walder, et al.2021 · 24 citations
14. Graph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citations
15. Can Transformers Learn to Solve Problems Recursively?arXiv:2305.14699Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, et al.2023 · 17 citations

7 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/stern-2019-generating-correctness-proofs-neural-networks/cited-by/