TY - RPRT TI - Lookahead-then-Verify: Reliable Constrained Decoding for Diffusion LLMs under Context-Free Grammars AU - Yitong Zhang AU - Yongmin Li AU - Yuetong Liu AU - Jia Li AU - Xiaoran Jia AU - Zherui Li AU - Ge Li PY - 2026 UR - https://arxiv.org/abs/2602.00612 ID - 2602.00612 ER -