K框架将验证失败转为编码智能体指导

研究者提出K框架，将专家对验证失败的诊断编码为编码智能体可复用的修复与审计指导。作者报告，在HumanEval的164个Python编程任务中，智能体经两次定向修复后，最终AI审计通过率为164/164。 该框架结合可执行语言定义、规格构造、证明修复和审计流程；在12组由作者审查的干净包与缺陷包实验中，AI审计接受了全部干净包并发现全部缺陷。上述结果均为作者报告的AI审计实验，不等同于独立验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。