LAVE: Constrained Decoding for Diffusion Language Models (ISSTA 2026)
LAVE introduces a lookahead‑then‑verify constrained decoding technique that dramatically raises syntax correctness for diffusion language models across code, JSON, and SMILES generation, improves functional correctness, and adds only minimal inference overhead.
