Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Jiangjie, Chen, Wenxiang, Du, Jiacheng, Hu, Jinyi, Jiang, Zhicheng, Jie, Allan, Jin, Xiaoran, Jin, Xing, Li, Chenggang, Shi, Wenlei, Wang, Zhihong, Wang, Mingxuan, Wei, Chenrui, Wei, Shufa, Xin, Huajian, Yang, Fan, Gao, Weihao, Yuan, Zheng, Zhan, Tianyang, Zheng, Zeyu, Zhou, Tianxi, Zhu, Thomas Hanwen
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2512.17260