Cita APA (7a ed.)

Zhou, X., Lei, Y., Zhou, X., Sun, J., Zhu, Y., Ye, Z., . . . Liu, C. (2025). Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training.

Cita Chicago Style (17a ed.)

Zhou, Xinyuan, et al. Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training. 2025.

Cita MLA (9a ed.)

Zhou, Xinyuan, et al. Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training. 2025.