Research questionHow can grammar-constrained decoding preserve syntactic validity without distorting an LLM’s output probabilities?Restricting each next-token choice to grammar-valid tokens can make structured outputs syntactically correct while changing their relative probabilities. That distortion may favor lower-quality code, formulas, markup, or other structured outputs.