Machine Heart

Jul 15, 2026 · Artificial Intelligence

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.