Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2512.17260
Cited By
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
19 December 2025
Jiangjie Chen
Wenxiang Chen
Jiacheng Du
Jinyi Hu
Zhicheng Jiang
Allan Jie
Xiaoran Jin
Xing Jin
Chenggang Li
Wenlei Shi
Zhihong Wang
Mingxuan Wang
Chenrui Wei
Shufa Wei
Huajian Xin
Fan Yang
Weihao Gao
Zheng Yuan
Tianyang Zhan
Zeyu Zheng
Tianxi Zhou
Thomas Hanwen Zhu
AIMat
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
HuggingFace (47 upvotes)
Github (360★)
Papers citing
"Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience"
0 / 0 papers shown
No papers found
Page 1 of 0
