---
title: "Who cites Rahul Saha — 25 papers of our library"
description: "25 papers of the Elamur Research library cite the works of Rahul Saha, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/rahul-saha/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/rahul-saha/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Rahul Saha](https://md.research.elamur.ai/free/en/authors/rahul-saha/) / cited by

# Who cites Rahul Saha

26 citations of their works from 25 papers of our library (of the 149,439 whose bibliographies we read) · 14 with a page here, the most cited first · [← Rahul Saha](https://md.research.elamur.ai/free/en/authors/rahul-saha/)

1. [**Llemma: An Open Language Model For Mathematics arXiv:2310.10631**Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.*2023 · 286 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-llemma-open-language-model-mathematics/)
2. [**DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search arXiv:2408.08152**Huajian Xin, Z. Z. Ren, Junxiao Song, et al.*2024 · 116 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-v1-5-harnessing/)
3. [**InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning arXiv:2402.06332**Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.*2024 · 90 citations*](https://md.research.elamur.ai/free/en/papers/ying-2024-internlm-math-open-math-large/)
4. **[Lean Workbook: A large-scale Lean problem set formalized from natural language math problems](https://md.research.elamur.ai/free/en/papers/ying-2024-lean-workbook-large-scale-lean/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.*2024 · 80 citations*
5. [**Lean-STaR: Learning to Interleave Thinking and Proving arXiv:2407.10040**Haohan Lin, Zhiqing Sun, Sean Welleck, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/lin-2024-lean-star-learning-interleave-thinking/)
6. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)
7. [**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/)
8. [**Herald: A Natural Language Annotated Lean 4 Dataset arXiv:2410.10878**Guoxiong Gao, Yutong Wang, Jiedong Jiang, et al.*2024 · 33 citations*](https://md.research.elamur.ai/free/en/papers/gao-2024-herald-natural-language-annotated-lean/)
9. **[Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective](https://md.research.elamur.ai/free/en/papers/yu-2025-chain-reasoning-unified-mathematical-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, et al.*2025 · 23 citations*
10. [**miniCTX: Neural Theorem Proving with (Long-)Contexts arXiv:2408.03350**Jiewen Hu, Thomas Zhu, Sean Welleck*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/hu-2024-minictx-neural-theorem-proving-long/)
11. [**Autoformalization in the Era of Large Language Models: A Survey arXiv:2505.23486**Ke Weng, Lun Du, Sirui Li, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/weng-2025-autoformalization-era-large-language-models/)
12. [**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/)
13. [**Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers arXiv:2509.06493**Ran Xin, Zeyu Zheng, Yanchen Nie, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/xin-2025-scaling-up-multi-turn-off/)
14. [**ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization arXiv:2510.15981**Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/cabral-2025-proofflow-dependency-graph-approach-faithful/)

11 more citing papers of our library have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/authors/rahul-saha/) — Rahul Saha