MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation - Liang, Zhenwen; Song, Linfeng; Li, Yang; YANG, TAO; Mi, Haitao; Yu, Dong (Advances in Neural Information Processing Systems, 2025)