Sable 论文：小域 Sumcheck 证明 LLM 位精确推理
热点事件持续更新
Sable 论文：小域 Sumcheck 证明 LLM 位精确推理
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
arXiv 论文提出 Sable：一个论证系统与单 GPU 证明器，可证明一个整数量化的 transformer 模型对给定提示逐位精确生成了给定的 token 序列。作者 Tomer Solberg 发布了该论文（arXiv:2611.14083）。 该证明不具零知识性，因此系统面向开源权重的模型。成本方面，论文给出一次证明的开销为推理服务时间的 41 至 50 倍，按公开 GPU 价格计算约合每次 4096 token 请求 6.4 美分。
AI 根据报道生成 · 1 小时前更新
最新进展11月11日 13:00
Sable 论文提出小域 Sumcheck 论证系统，单 GPU 证明 Qwen2.5-32B 逐位精确推理报道时间线
沿着报道，了解事件的不同侧面。
11月11日
- arXiv cs.AISable 论文提出小域 Sumcheck 论证系统，单 GPU 证明 Qwen2.5-32B 逐位精确推理
arXiv 论文提出 Sable，一个可在单 GPU 上证明整数量化 transformer 对给定提示逐位精确生成给定 token 序列的论证系统。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。