🔗 Who cites «Lemur: Integrating Large Language Models in Automated Program Verification»

7 papers of our library cite it (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · ← back to «Lemur: Integrating Large Language Models in Automated Program Verification»

1. Clover: Closed-Loop Verifiable Code GenerationLecture notes in computer scienceChuyue Sun, Ying Sheng, Oded Padon, et al.2024 · 56 citations
2. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
3. 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

4 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/wu-2024-lemur-integrating-large-language-models/cited-by/