新闻详情

新闻详情

首页 / 资讯中心 / 详情

VeriLoop E2开源: 迈向可验证智能

发布时间:2026/9/27 6:49:28来源:尧图网络
VeriLoop E2开源: 迈向可验证智能
VeriLoop E2现已正式开源. 基于Qwen3.8-27B后训练, 面向代码Agent, 数学, 科学推理与长程可验证任务, 共1,841,831条训练数据.核心算法为VeriLoop-Governed Recurrence (VGR). 模型负责提出与重规划, 外部证据裁决候选状态. 只有受保护约束不回退, 且至少一个证据维度严格改善时才提交.截至目前, VeriLoop E2完成9项公开评测. SWE-bench Pro 76.2, Terminal-Bench 2.1 88.8, Terminal-Bench 3.0 29.7, Terminal-Bench 4.0 37.9, DeepSWE v1.1 64.6, SWE-Marathon v1.1 45.0, AIME 2026 98.3, GPQA Diamond 93.9, MathArena Apex 2025 89.6.同时, 团队发布完整GGUF精度梯度, 从BF16到IQ1_M. 低比特版本直接由BF16构建, 不做二次量化, 统一使用冻结BF16 logits配对评测. Q6_K为20.566 GiB, 相比BF16缩小58.96%, PPL与BF16在统计误差内保持一致.IQ1_M为16.790078 GiB, 相比BF16缩小66.4955%, PPL漂移仅0.3191%, Mean KLD 0.014357, Same top-p 95.870%, log-PPL相关性99.62%. IQ1_M不是统一1-bit模型, 而是保护关键张量的混合精度方案, 有效密度5.36 BPW, 并通过原生llama.cpp与真实MTP验证, 104个draft token接受76个, 接受率73.0769%.此外, 团队还公开通过VeriLoop E2推进黎曼猜想ζ函数的Demo, 形成67.350003708785593%的严格有限维计算辅助证书, 并继续积极推进可形式化Lean证明.主模型:https://huggingface.co/tsinghua-sigs-robot-lab/VeriLoop-E2GGUF:https://huggingface.co/tsinghua-sigs-robot-lab/VeriLoop-E2-GGUF
网站建设高端定制企业官网
RELATED

相关资讯

更多精彩内容,欢迎继续阅读

较早相关资讯

最新相关资讯

请人做网站多少钱?揭秘建站报价避坑指南 2026/9/27 6:49:27

请人做网站多少钱?揭秘建站报价避坑指南

请人做网站多少钱?揭秘建站报价避坑指南 找建站公司最怕什么?不是技术不行,是报价单上那个天文数字让你心里没底。很多老板拿着“5万起步”的报价单,转头看竞品才花几千块,这中间的差价到底去哪了?其实, 建站报价…

阅读更多 →
预编译原理 2026/9/27 6:49:27

预编译原理

一、概念预编译是程序编译过程中最先执行的文本处理阶段,主要处理源代码中以 # 开头的指令,为正式编译做准备。二、实现方式准备阶段:解析 / 编译 / 优化 / 生成产物 / 保存或缓存 执行阶段:加载产物 / 绑定数据 / 运行 / 查询 / …

阅读更多 →
QRCode4cj DecodeHintType参数全解析:显著提升扫码成功率的秘诀 2026/9/27 6:49:27

QRCode4cj DecodeHintType参数全解析:显著提升扫码成功率的秘诀

QRCode4cj DecodeHintType参数全解析:显著提升扫码成功率的秘诀 【免费下载链接】qrcode4cj 一维码/二维码扫描库。 项目地址: https://gitcode.com/Cangjie-TPC/qrcode4cj QRCode4cj 是一个一维码/二维码扫描库,支持 QRCode、Data Matrix、PDF41…

阅读更多 →
2026心理学研二实测:AI生成文献综述从「文献堆砌」到一次通过的7天记录 2026/9/27 6:49:27

2026心理学研二实测:AI生成文献综述从「文献堆砌」到一次通过的7天记录

「这不是文献综述,是文献堆砌。」导师在我第三章初稿上画了满页红线,2026年3月那个下午,我在办公室门口站了五分钟才敢敲门进去。心理学硕士的综述动辄要消化四五十篇文献,我自认读得不少,写出来却像一份按作者排序的流…

阅读更多 →
AI 配音 + 字幕对齐:jianying-editor-skill 一句话生成旁白和精准字幕 2026/9/27 6:49:20

AI 配音 + 字幕对齐:jianying-editor-skill 一句话生成旁白和精准字幕

AI 配音 字幕对齐:jianying-editor-skill 一句话生成旁白和精准字幕 【免费下载链接】jianying-editor-skill Skill for Agent automating JianYing (CapCut Chinese version) video editing. 项目地址: https://gitcode.com/gh_mirrors/ji/jianying-editor-skil…

阅读更多 →
番茄小说怎么导出txt,这个一键下载导出工具,功能太强大了 2026/9/27 6:49:20

番茄小说怎么导出txt,这个一键下载导出工具,功能太强大了

番茄小说怎么导出txt,这个需求每天都有人在各大论坛、社群去反复讨论、求助。 或是担心以后找不到,想转成txt或者其他什么格式转存到本地,或是单纯的收集癖,想把每一本自己看完的小说保存起来。或是想多平台去阅读。 理由五花八…

阅读更多 →

今日资讯

本周资讯

本月资讯

看完文章仍有疑问?

联系尧图顾问,获取一对一建站咨询

立即免费咨询 📞 400-888-8888
📞 ✉