VeriThinker: Learning to Verify Makes Reasoning Model Efficient - Chen, Zigeng; Ma, Xinyin; Fang, Gongfan; Yu, Ruonan; Wang, Xinchao (Advances in Neural Information Processing Systems, 2025)