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

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

# Who cites Rahul Sharma

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

1. [**Syntax-Guided Synthesis FMCAD 2013**Rajeev Alur, Rastislav Bodik, Garvit Juniwal, et al.*2013 · 633 citations*](https://md.research.elamur.ai/free/en/papers/alur-2013-syntax-guided-synthesis/)
2. [**AlphaEvolve: A coding agent for scientific and algorithmic discovery arXiv:2506.13131**Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.*2025 · 202 citations*](https://md.research.elamur.ai/free/en/papers/novikov-2025-alphaevolve-coding-agent-scientific-algorithmic/)
3. [**Neuro-Symbolic Program Synthesis arXiv:1611.01855**Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, et al.*2016 · 152 citations*](https://md.research.elamur.ai/free/en/papers/parisotto-2016-neuro-symbolic-program-synthesis/)
4. [**SPoC: Search-based Pseudocode to Code arXiv:1906.04908**Sumith Kulal, Panupong Pasupat, Kartik Chandra, et al.*2019 · 96 citations*](https://md.research.elamur.ai/free/en/papers/kulal-2019-spoc-search-based-pseudocode-code/)
5. [**TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph Substitutions SOSP 2019**Zhihao Jia, Oded Padon, James Thomas, et al.*2019 · 72 citations*](https://md.research.elamur.ai/free/en/papers/jia-2019-taso-optimizing-deep-learning-computation/)
6. [**Program Synthesis Foundations and Trends in Programming Languages 4(1-2)**Sumit Gulwani, Oleksandr Polozov, Rishabh Singh*2017 · 63 citations*](https://md.research.elamur.ai/free/en/papers/gulwani-2017-program-synthesis/)
7. [**Lemur: Integrating Large Language Models in Automated Program Verification arXiv:2310.04870**Haoze Wu, Clark Barrett, Nina Narodytska*2024 · 11 citations*](https://md.research.elamur.ai/free/en/papers/wu-2024-lemur-integrating-large-language-models/)
8. **[EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking](https://md.research.elamur.ai/free/en/papers/wei-2025-equibench-benchmarking-large-language-models/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Anjiang Wei, Jiannan Cao, Ran Li, et al.*2025 · 8 citations*

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

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