🔗 Who cites «Clover: Closed-Loop Verifiable Code Generation»

14 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 «Clover: Closed-Loop Verifiable Code Generation»

1. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
2. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
3. ACECODER: Acing Coder RL via Automated Test-Case SynthesisAnnual Meeting of the Association for Computational Linguistics (ACL)Huaye Zeng, Dongfu Jiang, Haozhe Wang, et al.2025 · 32 citations
4. 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
5. DafnyBench: A Benchmark for Formal Software VerificationarXiv:2406.08467Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, et al.2024 · 15 citations
6. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and TreefinementarXiv:2412.06176Pranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 citations

8 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/sun-2024-clover-closed-loop-verifiable-code/cited-by/