@misc{aggarwal-2024-alphaverus,
  author = {Pranjal Aggarwal and Bryan Parno and Sean Welleck},
  title = {AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement},
  year = {2024},
  month = {12},
  eprint = {2412.06176},
  archiveprefix = {arXiv}
}