⌘ K
… 读取采集状态 同步中...
雷
原文
量子位· 量子位·· 2 天前AI 评分42

清华团队开源VeriLoop E2:模型负责探索,外部证据决定提交

黑洞信息悖论推进至“定量完备性模量”:清华团队开源VeriLoop E2迈向可验证智能

AI 导读

VeriLoop E2 开源,将模型“探索权”与外部证据“提交权”分离,确保新状态需通过受保护证据验证方可写入。系统基于 VGR 机制组织后训练,在 9 项覆盖代码与科学推理的 Benchmark 上完成评测。官方发布 BF16 至 IQ1_M 的 GGUF 量化版本,并以 BF16 为参照测量 PPL 与 KL divergence。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:量子位 · mp.weixin.qq.com