--- title: "Who cites STP: Self-play LLM Theorem — 43 citing papers" description: "43 papers of the Elamur Research library cite «STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving», found in their…" canonical: "https://research.elamur.ai/free/en/papers/dong-2025-stp-self-play-llm-theorem/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/dong-2025-stp-self-play-llm-theorem/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [STP: Self-play LLM Theorem Provers with Iterative…](https://md.research.elamur.ai/free/en/papers/dong-2025-stp-self-play-llm-theorem/) / cited by # Who cites «STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving» 43 papers of our library cite it (of the 149,439 whose bibliographies we read) · 21 with a page here, the most cited first · [← back to «STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving»](https://md.research.elamur.ai/free/en/papers/dong-2025-stp-self-play-llm-theorem/) 1. **[Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2025-towards-reasoning-era-survey-long/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Libo Qin, Jinhao Liu, et al.*2025 · 176 citations* 2. [**DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition arXiv:2504.21801**Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.*2025 · 122 citations*](https://md.research.elamur.ai/free/en/papers/ren-2025-deepseek-prover-v2-advancing-formal/) 3. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/) 4. [**Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving arXiv:2507.23726**Luoxin Chen, Jinming Gu, Liankai Huang, et al.*2025 · 46 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-deep-broad-reasoning/) 5. [**Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean arXiv:2404.12534**Peiyang Song, Kaiyu Yang, Anima Anandkumar*2024 · 39 citations*](https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/) 6. [**FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models arXiv:2505.02735**Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.*2025 · 31 citations*](https://md.research.elamur.ai/free/en/papers/yu-2025-formalmath-benchmarking-formal-mathematical-reasoning/) 7. **[Aristotle: IMO-level Automated Theorem Proving](https://md.research.elamur.ai/free/en/papers/achim-2025-aristotle-imo-level-automated-theorem/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Tudor Achim, Alex Best, Alberto Bietti, et al.*2025 · 29 citations* 8. [**Hilbert: Recursively Building Formal Proofs with Informal Reasoning arXiv:2509.22819**Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.*2025 · 26 citations*](https://md.research.elamur.ai/free/en/papers/varambally-2025-hilbert-recursively-building-formal-proofs/) 9. [**Leanabell-Prover: Posttraining Scaling in Formal Reasoning arXiv:2504.06122**Jingyuan Zhang, Qi Wang, Xingguang Ji, et al.*2025 · 21 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2025-leanabell-prover-posttraining-scaling-formal/) 10. [**CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics arXiv:2505.03171**Junqi Liu, Xiaohan Lin, Jonas Bayer, et al.*2025 · 20 citations*](https://md.research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/) 11. [**MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving arXiv:2503.03205**Ruida Wang, Rui Pan, Yuxin Li, et al.*2025 · 18 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-ma-lot-model-collaboration-lean/) 12. **[APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning](https://md.research.elamur.ai/free/en/papers/ospanov-2025-apollo-automated-llm-lean-collaboration/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh*2025 · 17 citations* 13. [**Solving Formal Math Problems by Decomposition and Iterative Reflection arXiv:2507.15225**Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.*2025 · 16 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2025-solving-formal-math-problems-decomposition/) 14. [**REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning arXiv:2505.20613**Ziju Shen, Naohao Huang, Fanyi Yang, et al.*2025 · 10 citations*](https://md.research.elamur.ai/free/en/papers/shen-2025-real-prover-retrieval-augmented-lean/) 15. **[Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability](https://md.research.elamur.ai/free/en/papers/wang-2025-let-s-reason-formally-natural/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Ruida Wang, Yuxin Li, Yi R. Fung, et al.*2025 · 7 citations* 16. **[Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models](https://md.research.elamur.ai/free/en/papers/cao-2025-reviving-dsp-advanced-theorem-proving/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Cao, Liangcheng Song, Zenan Li, et al.*2025 · 7 citations* 17. [**Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving arXiv:2507.02726**Matthieu Zimmer, Xiaotong Ji, Rasul Tutunov, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zimmer-2025-bourbaki-self-generated-goal-conditioned/) 18. [**Premise Selection for a Lean Hammer arXiv:2506.07477**Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zhu-2025-premise-selection-lean-hammer/) 19. [**StepFun-Prover Preview: Let's Think and Verify Step by Step arXiv:2507.20199**Shijie Shang, Ruosi Wan, Yue Peng, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/shang-2025-stepfun-prover-preview-let-s/) 20. **[miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward](https://md.research.elamur.ai/free/en/papers/ospanov-2025-minif2f-lean-revisited-reviewing-limitations/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh*2025 · 4 citations* 21. **[MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation](https://md.research.elamur.ai/free/en/papers/liang-2025-mps-prover-advancing-stepwise-theorem/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zhenwen Liang, Linfeng Song, Yang Li, et al.*2025 · 4 citations* 22 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/dong-2025-stp-self-play-llm-theorem/) — STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving