Constrained Decoding for LLMs: Guarantee Valid JSON Without Losing Accuracy

Make a language model emit output that always parses, from JSON to a full grammar, and know when the format costs accuracy. You learn to mask tokens with automata and parsers, then pick the right method. Assumes you know how an LLM picks its next token.