TY  - RPRT
TI  - Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
AU  - Jiangjie Chen
AU  - Wenxiang Chen
AU  - Jiacheng Du
AU  - Jinyi Hu
AU  - Zhicheng Jiang
AU  - Allan Jie
AU  - Xiaoran Jin
AU  - Xing Jin
AU  - Chenggang Li
AU  - Wenlei Shi
AU  - Zhihong Wang
AU  - Mingxuan Wang
AU  - Chenrui Wei
AU  - Shufa Wei
AU  - Huajian Xin
AU  - Fan Yang
AU  - Weihao Gao
AU  - Zheng Yuan
AU  - Tianyang Zhan
AU  - Zeyu Zheng
AU  - Tianxi Zhou
AU  - Thomas Hanwen Zhu
PY  - 2025
UR  - https://arxiv.org/abs/2512.17260
ID  - 2512.17260
ER  -