Q\ sharp: Provably Optimal Distributional RL for LLM Post-Training - Zhou, Jin; Wang, Kaiwen; Chang, Jonathan; Gao, Zhaolin; Kallus, Nathan; Weinberger, Kilian; Brantley, Kianté; Sun, Wen (Advances in Neural Information Processing Systems, 2025)