TY  - RPRT
TI  - Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
AU  - Luoxin Chen
AU  - Jinming Gu
AU  - Liankai Huang
AU  - Wenhao Huang
AU  - Zhicheng Jiang
AU  - Allan Jie
AU  - Xiaoran Jin
AU  - Xing Jin
AU  - Chenggang Li
AU  - Kaijing Ma
AU  - Cheng Ren
AU  - Jiawei Shen
AU  - Wenlei Shi
AU  - Tong Sun
AU  - He Sun
AU  - Jiahui Wang
AU  - Siran Wang
AU  - Zhihong Wang
AU  - Chenrui Wei
AU  - Shufa Wei
AU  - Yonghui Wu
AU  - Yuchen Wu
AU  - Yihang Xia
AU  - Huajian Xin
AU  - Fan Yang
AU  - Huaiyuan Ying
AU  - Hongyi Yuan
AU  - Zheng Yuan
AU  - Tianyang Zhan
AU  - Chi Zhang
AU  - Yue Zhang
AU  - Ge Zhang
AU  - Tianyun Zhao
AU  - Jianqiu Zhao
AU  - Yichi Zhou
AU  - Thomas Hanwen Zhu
PY  - 2025
UR  - https://arxiv.org/abs/2507.23726
ID  - 2507.23726
ER  -