We propose the first constrained decoding algorithm for diffusion LLMs.

Efficiently generate text avoiding constraint violations, with less distortion of LLM output distribution.