清华团队开源可验证推理模型 VeriLoop E2

清华大学深圳国际研究生院团队开源发布可验证推理模型 VeriLoop E2。该模型以 Qwen 3.8-27B 为基模，提出循证收敛递归（VGR）机制，将候选状态生成权与外部持久化提交权严格分离，确保新增计算在代码、数学与物理等任务中必须通过外部验证且不发生义务回退。