清华团队开源 VeriLoopCoder-E1，提出循证螺旋代码智能体架构
机器之心 · wechat · 2026-08-02
清华大学深圳国际研究生院团队发布了开源代码修复模型 VeriLoopCoder-E1。该模型基于 Qwen3.6-27B 构建，在 SWE-bench 等四项基准测试中，于 32B 及以下开源模型范围内斩获三个第一。
模型的核心优势在于窄域 PEFT 微调与 Self-Harness 控制栈的协同。团队提出了循证螺旋机制，将传统的机械重试升级为「证-伪-探-修-验-化」的闭环。该机制要求每一轮代码生成与修复都必须接受证据的验证，只有通过验证的纠正才能进入下一轮，甚至改变系统未来发现和修复错误的方法，从而向递归式自我改进迈进。
目前，团队已依据 Apache 2.0 开源模型权重，但保留了负责多轮任务编排与状态维护的 Self-Harness 控制栈。未来，团队将重心转向研发能预测并承担行动后果的通用 Code Agent。
「编程与Agent」频道最新
- Hybrid Reasoning Agents 论文:让 Agent 在潜空间思考、用文本行动 — _akhaliq · 2026-10-16
- 开发者用3台DGX Spark组本地集群跑GLM-5.3-Flash,配代理均衡日生175万token — Teknium · 2026-10-16
- 开发者分享给电脑上的 Agent 划权限:能读能写,发删买一律先问人 — No_Fan5310 · 2026-10-16
- 开发者用GPT写出unifi-simulator,让MikroTik交换机伪装进UniFi网络拓扑 — Pytlicek · 2026-10-16
- 斯坦福 45 分钟课拆解 Grok Bot:always-on agent 的 harness 工程 — Hesamation · 2026-10-16
- Opus 5.5 + Three.js 打造水波鱼群樱花互动场景，美到刷屏 — nikola_mr64990 · 2026-10-16