AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Tree Refinement
原文英文，约100词，阅读约需1分钟。
📝
内容提要
本研究提出了AlphaVerus框架，旨在解决自动化代码生成中的形式验证不足问题。通过自我改进的翻译和验证器反馈，AlphaVerus显著提高了生成代码的正确性，并展示了在HumanEval和MBPP等问题上的潜力。
🏷️
