AcademicGPT: Empowering Academic Research. - Shufa Wei; Xiaolong Xu 002; Xianbiao Qi; Xi Yin 010; Jun Xia; Jingyi Ren; Peijun Tang; Yuxiang Zhong; Yihao Chen; Xiaoqin Ren; Yuxin Liang; Liankai Huang; et al. (CoRR, 2023)

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)