清华 VeriLoop E2:用外部可验证证据决定递归推理状态的提交与回滚
jiqizhixin · x · 2026-10-12
清华大学深圳国际研究生院团队（刘厚德、周川楠指导，王立博博士后）发布 VeriLoop E2，针对测试时算力递归推理的核心问题：模型在递归中生成新候选状态时，凭什么证据允许它替换当前保留的状态？
核心思路是把「生成候选」与「获得提交资格」两个权限分离：
- 提出 VeriLoop-Governed Recurrence（VGR）机制，将外部可验证证据注入状态提交、递归控制与后训练数据构建三个环节
- 候选状态只有通过外部验证器（评估代码、数学、物理等可验证约束任务）的保护性改进测试（Protected-Improvement Test）才会被提交，否则回滚保持原状态
- 以零秩证书（zero-rank certificate）作为停止条件
基于 Qwen 3.8-27B 做后训练，目标是代码、数学、物理等有外部可验证约束的复杂推理任务，把「模型能否持续计算」转化为「新计算能否被证明构成真实进展」。
所属事件:清华发布 VeriLoop E2：外部可验证证据掌管递归推理提交权(2 条相关)→
「模型」频道最新
- 实测 DeepSeek 桌面端:模型有潜力,工具链落后 Cursor 五处 — casper_hansen_ · 2026-10-13
- 智谱发布 GLM-Legal，Harvey 法律基准全通过率 19.2% 领先 — Zai_org · 2026-10-13
- Arena 获 2 亿美元 B 轮，估值 31 亿并发布对齐指数 — arena · 2026-10-13
- SubQ Snap 发布:384K 上下文决策模型,每百万 token 仅 0.05 美元 — ryanallred · 2026-10-13
- 开发者实测盛赞 GLM 5.3 Flash 为最佳实用开源模型 — EAccelerate_42 · 2026-10-13
- Reflection 发布 501B 开源权重模型 Beam,10.5K GB300 上跑 RL — thione · 2026-10-12