Principled and Tractable RL for Reasoning with Diffusion Language Models. - Anthony Zhan (CoRR, 2025)