Solving Formal Math Problems by Decomposition and Iterative Reflection. - Yichi Zhou; Jianqiu Zhao; Yongxin Zhang; Bohan Wang; Siran Wang; Luoxin Chen; Jiahui Wang; Haowei Chen; Allan Jie; Xinbo Zhang; Haocheng Wang; Luong Quoc Trung; et al. (CoRR, 2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving. - Luoxin Chen; Jinming Gu; Liankai Huang; Wenhao Huang 001; Zhicheng Jiang; Allan Jie; Xiaoran Jin; Xing Jin; Chenggang Li; Kaijing Ma; Cheng Ren; Jiawei Shen; et al. (CoRR, 2025)