@article{250510962,
  title = {MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation},
  author = {Zhenwen Liang and Linfeng Song and Yang Li and Tao Yang and Feng Zhang and Haitao Mi and Dong Yu},
  year = {2025},
  eprint = {2505.10962},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2505.10962v1},
}