🔗 Who cites «AutoVerus: Automated Proof Generation for Rust Code»

9 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · ← back to «AutoVerus: Automated Proof Generation for Rust Code»

1. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
2. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and TreefinementarXiv:2412.06176Pranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 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/yang-2024-autoverus-automated-proof-generation-rust/cited-by/