Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2511.13043
Cited By
v1
v2
v3 (latest)
Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
17 November 2025
Xinyuan Zhou
Yi Lei
Xiaoyu Zhou
Jingyi Sun
Yu Zhu
Zhongyi Ye
Weitai Zhang
Quan Liu
Si Wei
Cong Liu
ALM
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training"
0 / 0 papers shown
Title
No papers found
