DisCO: Reinforcing Large Reasoning Models with Discriminative Constrained Optimization - Li, Gang; Lin, Ming; Galanti, Tomer; Tu, Zhengzhong; Yang, Tianbao (Advances in Neural Information Processing Systems, 2025)