约束解码并非天生有害：约束类型决定效果，有效性和推理约束反而提分
Nokia · hf · 2026-10-27
Télécom Paris 与 Nokia Bell Labs 的论文重新审视约束解码（constrained decoding）对 LLM 推理的影响。
- 常见假设是约束解码保证格式但损害推理，作者提出三类约束分类法：格式约束（输出结构）、有效性约束（屏蔽无效答案）、推理约束（限制推理路径）
- 理论上证明：恰当的约束可以通过消除无效路径来保持甚至提升性能
- 跨 4 个模型家族、11 个开源模型的因果实验显示：表面上的性能下降主要来自非等价的提示词与输出格式，而非解码器层面的屏蔽
- 结论：约束类型才是关键，有效性和推理约束往往提升可靠性与准确率
「研究」频道最新
- Claude 自主发现 2^o(n) 时间 3-SAT 算法，动摇指数时间假说 — rickasaurus · 2026-10-27
- 学者自述暗中相信 P=NP:一个「丑陋 17 方格」式证明 — prof_g · 2026-10-27
- 压缩即理解:Schmidhuber 论文用压缩进度解释好奇心与美感 — blaizedsouza · 2026-10-27
- DeepMind 发布 AudioFM:12 项音频任务 10 项最佳,医学听诊超先前 SSL — iScienceLuvr · 2026-10-27
- 学者断言分子模拟进展惊人：数年内可高精度模拟大部分化学与生物 — TimothyDuignan · 2026-10-27
- 有人给可导向神经元建了个「Hugging Face」，已收录 300+ 条 — According_Air_3815 · 2026-10-27