Decode-Time Grammars

Decode-Time Grammars 让调用方在生成过程中逐步提供语法片段，把语法约束从固定编译产物变成可组合的解码接口。模型无需针对每门 DSL 重新训练，就能在 token 级屏蔽非法续写；实验覆盖低资源语言、专用 API 和多种模型，显示严格语法能显著提升可解析率，但语义正确性仍取决于模型本身。