aggarwal-2024-alphaverus:
  type: misc
  title: 'AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement'
  author:
  - Aggarwal, Pranjal
  - Parno, Bryan
  - Welleck, Sean
  date: 2024-12
  serial-number:
    arxiv: '2412.06176'