Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation.

arXiv:2609.35425v1 Announce Type: cross Abstract: Constrained decoding can enforce regular or context-free output formats, but many program-generation failures are semantic: scope, typing, and declaration effects depend on context. We present semantic grammar