🔗 Who cites «MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation»

4 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · ← back to «MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation»

1. Mathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citations
2. Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-ProversarXiv:2509.06493Ran Xin, Zeyu Zheng, Yanchen Nie, et al.2025 · 7 citations

2 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/liang-2025-mps-prover-advancing-stepwise-theorem/cited-by/