本文研究了代码修复代理中生成-测试-修订循环的可靠性问题,提出了状态绑定证据和类型修订契约,通过实验表明该契约能减少正确状态的破坏和复发风险。
机构:阿里
来源:arXiv 2607.24604 | AI4Papers 论文推荐平台
AI4Papers 是一个以每日 arXiv 论文发现为入口的 AI 科研工作流平台,帮助研究者用最短时间掌握最新 AI/ML 前沿动态。
核心功能完全免费。高级 AI 功能(对比分析、深度研究、灵感工作台)支持自带兼容 API Key(如 OpenAI、通义千问)无限使用。
免费注册 | 使用教程