本研究提出了AlphaVerus框架，旨在解决自动化代码生成中的形式验证不足问题。通过自我改进的翻译和验证器反馈，AlphaVerus显著提高了生成代码的正确性，并展示了在HumanEval和MBPP等问题上的潜力。

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Tree Refinement
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证