清华发布 VeriLoop E2：外部可验证证据掌管递归推理提交权

清华大学深圳国际研究生院团队（刘厚德、周川楠指导，王立博博士后）发布 VeriLoop E2 系统及「循证收敛递归」（VGR）方法，针对测试时算力递归推理的核心问题：模型在递归中生成新候选状态时凭什么证据替换当前状态。其做法是把「探索权」与「提交权」拆开，模型负责提出与修订候选，而提交与回滚由外部可验证证据决定，相关评测覆盖 9 项基准。

2026-10-11 ~ 2026-10-12 · 2 条相关

• 清华团队发布 VeriLoopE2:外部证据掌握提交权,覆盖 9 项基准评测 — 量子位 · 2026-10-11
• 清华 VeriLoop E2:用外部可验证证据决定递归推理状态的提交与回滚 — jiqizhixin · 2026-10-12