Reasoning on the Manifold: Bidirectional Consistency for Self-Verification in Diffusion Language Models cs.LG · 2026-04-17