Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models. - Chenrui Cao; Liangcheng Song; Zenan Li; Xinyi Le; Xian Zhang; Hui Xue; Fan Yang (CoRR, 2025)