Proving Olympiad Algebraic Inequalities without Human Demonstrations. - Chenrui Wei; Mengzhou Sun; Wei Wang (NeurIPS, 2024)

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)