Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhou, Xinyuan, Lei, Yi, Zhou, Xiaoyu, Sun, Jingyi, Zhu, Yu, Ye, Zhongyi, Zhang, Weitai, Liu, Quan, Wei, Si, Liu, Cong
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!

Be the first to leave a comment!

Similar Items