@misc{indiciae9478cd8511c6,
  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},
  url = {https://arxiv.org/abs/2505.10962},
  note = {Source identifier: 2505.10962}
}