Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair
循环并非可靠性保障:智能代码修复的状态约束证据与类型化修订契约
机构 * Alibaba Cloud(阿里云)
AI总结 研究编码智能体中生成-测试-修订循环的可靠性问题,通过实验揭示相关差距及问题,提出证据约束的类型化循环契约并实例化其可机械执行子集,实现规范与工件,非证明修复能力提升等。
Comments 11 pages, 4 figures, 6 tables