QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs. - Lei Wang; Ruobing Zuo; Gaolei He; Jianlin Wang; Zhengfeng Yang (ACL (1), 2025)

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization. - Shuming Shi; Ruobing Zuo; Gaolei He; Jianxin Wang 001; Chenyang Xu; Zhengfeng Yang (CoRR, 2025)