约束解码并非天生有害：约束类型决定效果，有效性和推理约束反而提分

Télécom Paris 与 Nokia Bell Labs 的论文重新审视约束解码对 LLM 推理的影响，提出格式约束、有效性和推理约束三类分类。跨 4 个模型家族、11 个开源模型的因果实验显示，性能下降主要源于提示词与输出格式不等价，而非解码器屏蔽；恰当约束可保持或提升性能，有效性和推理约束往往提升可靠性与准确率。