DConstrain for Constrained Decoding in Diffusion Language Models

DConstrain compiles schemas into context-parameterized transition programs to enable valid joint token decoding in diffusion language models. By using cold and warm compilation to track field histories and grammar states, it avoids the exponential state growth that typically limits exact decoders.