TY  - RPRT
TI  - Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
AU  - Xinyuan Zhou
AU  - Yi Lei
AU  - Xiaoyu Zhou
AU  - Jingyi Sun
AU  - Yu Zhu
AU  - Zhongyi Ye
AU  - Weitai Zhang
AU  - Quan Liu
AU  - Si Wei
AU  - Cong Liu
PY  - 2025
UR  - https://arxiv.org/abs/2511.13043
ID  - 2511.13043
ER  -