TY  - RPRT
TI  - MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
AU  - Zhenwen Liang
AU  - Linfeng Song
AU  - Yang Li
AU  - Tao Yang
AU  - Feng Zhang
AU  - Haitao Mi
AU  - Dong Yu
PY  - 2025
UR  - https://arxiv.org/abs/2505.10962
ID  - 2505.10962
ER  -