热点事件持续更新
清华团队开源VeriLoop E2
1 篇报道1 个报道来源8 小时前更新
先了解这件事
AI 综述
2026年10月11日，量子位报道称，清华大学深圳国际研究生院相关团队开源 VeriLoop E2，面向可验证智能的推理与代码 Agent 系统。报道介绍，该系统提出由模型生成候选、外部证据决定提交的可验证任务机制，并基于 VGR 将探索权与提交权拆分。目前，团队已完成9项公开 Benchmark 评测，覆盖代码 Agent、终端智能体、数学与科学推理，并发布从 BF16 到 IQ1_M 的官方 GGUF 量化版本。
AI 根据报道生成 · 2 小时前更新
最新进展10月11日 13:12
清华团队开源 VeriLoop E2 并发布官方 GGUF 量化版本。报道时间线
沿着报道，了解事件的不同侧面。
10月11日
- 量子位（公众号 · Wechat2RSS）清华团队开源 VeriLoop E2，面向可验证智能的推理与代码 Agent 系统
清华大学深圳国际研究生院相关团队开源 VeriLoop E2，提出由模型生成候选、外部证据决定提交的可验证任务机制。系统基于 VGR 将探索权与提交权拆分，已完成 9项覆盖代码Agent、终端智能体、数学与科学推理的公开Benchmark评测，并发布 BF16 至 IQ1_M 的官方 GGUF 量化版本。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。