清华团队开源 VeriLoop E2，面向可验证智能的推理与代码 Agent 系统

清华大学深圳国际研究生院相关团队开源 VeriLoop E2，提出由模型生成候选、外部证据决定提交的可验证任务机制。系统基于 VGR 将探索权与提交权拆分，已完成 9项覆盖代码Agent、终端智能体、数学与科学推理的公开Benchmark评测，并发布 BF16 至 IQ1_M 的官方 GGUF 量化版本。