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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	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
Formato:	Preprint
Publicado:	2025
Materias:	Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2512.17260