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)

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion. - Yutong Wu; Di Huang; Ruosi Wan; Yue Peng; Shijie Shang; Chenrui Cao; Lei Qi; Rui Zhang 040; Zidong Du; Jie Yang 002; Xing Hu 001 (CoRR, 2025)