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

清华大学深圳国际研究生院团队发布 VeriLoop E2 系统及「循证收敛递归」（VGR）方法，把递归推理中的「探索权」与「提交权」拆开，候选状态的提交与回滚改由外部可验证证据决定。模型只负责提出与修订候选，相关评测覆盖 9 项基准。该工作由刘厚德、周川楠指导，王立博博士后参与完成。