Cita APA (7a ed.)

Liang, Z., Song, L., Li, Y., Yang, T., Zhang, F., Mi, H., & Yu, D. (2025). MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation.

Cita Chicago Style (17a ed.)

Liang, Zhenwen, Linfeng Song, Yang Li, Tao Yang, Feng Zhang, Haitao Mi, y Dong Yu. MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation. 2025.

Cita MLA (9a ed.)

Liang, Zhenwen, et al. MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation. 2025.