TY  - RPRT
TI  - AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
AU  - Pranjal Aggarwal
AU  - Bryan Parno
AU  - Sean Welleck
PY  - 2024
UR  - https://arxiv.org/abs/2412.06176
ID  - 2412.06176
ER  -