🔗 Who cites «Passport: Improving Automated Formal Verification Using Identifiers»

8 papers of our library cite it (of the 149,439 whose bibliographies we read) · 5 with a page here, the most cited first · ← back to «Passport: Improving Automated Formal Verification Using Identifiers»

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. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
3. Towards AI-Assisted Synthesis of Verified Dafny MethodsarXiv:2402.00247Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, et al.2024 · 46 citations
4. Graph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citations
5. Can Transformers Learn to Solve Problems Recursively?arXiv:2305.14699Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, et al.2023 · 17 citations

3 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-2022-passport-improving-automated-formal-verification/cited-by/