Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience. - Jiangjie Chen; Wenxiang Chen; Jiacheng Du; Jinyi Hu; Zhicheng Jiang; Allan Jie; Xiaoran Jin; Xing Jin; Chenggang Li; Wenlei Shi; Zhihong Wang; Mingxuan Wang; et al. (CoRR, 2025)