🧑🔬 Pranjal Aggarwal — papers of 2024 — Elamur Research1 paper · all years of Pranjal AggarwalAlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and TreefinementarXiv:2412.06176Pranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/pranjal-aggarwal/year/2024/