# 格式约束

约束解码常被认为会损害大模型推理，但把提示与期望输出格式对齐后，因果消融显示性能落差主要来自提示层面的差异，而非解码器掩码。研究把约束分为格式、有效性与推理三类，在四个模型家族、十一个开源模型上比较；有效性约束通过剔除非法答案带来最稳定的收益，最高达17.4%，推理约束只在被强制的推理轨迹本身有益时才提升准确率。

约束解码常被认为会损害大模型推理，但把提示与期望输出格式对齐后，因果消融显示性能落差主要来自提示层面的差异，而非解码器掩码。研究把约束分为格式、有效性与推理三类，在四个模型家族、十一个开源模型上比较；有效性约束通过剔除非法答案带来最稳定的收益，最高达17.4%，推理约束只在被强制的推理轨迹本身有益时才提升准确率。