Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models - Cao, Chenrui; Song, Liangcheng; Li, Zenan; Le, Xinyi; Zhang, Xian; XUE, HUI; Yang, Fan (Advances in Neural Information Processing Systems, 2025)