🧑‍🔬 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

1. Syntax-Guided SynthesisFMCAD 2013Rajeev Alur, Rastislav Bodik, Garvit Juniwal, et al.2013 · 633 citations
2. AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
3. Neuro-Symbolic Program SynthesisarXiv:1611.01855Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, et al.2016 · 152 citations
4. SPoC: Search-based Pseudocode to CodearXiv:1906.04908Sumith Kulal, Panupong Pasupat, Kartik Chandra, et al.2019 · 96 citations
5. TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph SubstitutionsSOSP 2019Zhihao Jia, Oded Padon, James Thomas, et al.2019 · 72 citations
6. Program SynthesisFoundations and Trends in Programming Languages 4(1-2)Sumit Gulwani, Oleksandr Polozov, Rishabh Singh2017 · 63 citations
7. Lemur: Integrating Large Language Models in Automated Program VerificationarXiv:2310.04870Haoze Wu, Clark Barrett, Nina Narodytska2024 · 11 citations
8. EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence CheckingConference on Empirical Methods in Natural Language Processing (EMNLP)Anjiang Wei, Jiannan Cao, Ran Li, et al.2025 · 8 citations

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

This page in Markdown → https://md.research.elamur.ai/free/en/authors/rahul-sharma/cited-by/