代码代理需要验证器、审查器和基于轨迹的修复
当天的研究将代码代理视为需要在工作过程中接受外部检查的系统。Aria 展示了大规模的验证器门控证明搜索；SWE-Review 加入了面向代码库的审查；TraceProbe 衡量一次运行如何搜索、编辑和验证。当前重点是工作流中的可靠性证据，最终任务分数只是多个信号之一。
主题概况
Developer Learning
编码智能体信任控制
编码智能体的采用正在转向在工作循环中加入外部检查：在 AI 拉取请求继续推进前进行代码仓库感知审查，用轨迹诊断判断哪些智能体运行值得信任，并为智能体系统依赖的 Python 库增加规范感知测试。