🧑‍🔬 Who cites Shuvendu Lahiri

32 citations of their works from 32 papers of our library (of the 149,439 whose bibliographies we read) · 8 with a page here, the most cited first · ← Shuvendu Lahiri

1. Is Self-Repair a Silver Bullet for Code Generation?arXiv:2306.09896Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, et al.2024 · 82 citations
2. Clover: Closed-Loop Verifiable Code GenerationLecture notes in computer scienceChuyue Sun, Ying Sheng, Oded Padon, et al.2024 · 56 citations
3. Coder Reviewer Reranking for Code GenerationarXiv:2211.16490Tianyi Zhang, Tao Yu, Tatsunori B. Hashimoto, et al.2022 · 52 citations
4. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
5. CodeTree: Agent-guided Tree Search for Code Generation with Large Language ModelsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Jierui Li, Hung Le, Yingbo Zhou, et al.2025 · 21 citations
6. ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle VerifiersarXiv:2305.14591Kexun Zhang, Danqing Wang, Jingtao Xia, et al.2023 · 19 citations
7. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and TreefinementarXiv:2412.06176Pranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 citations
8. Scaling Test-Time Compute to Achieve IOI Gold Medal with Open-Weight ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Mehrzad Samadi, Aleksander Ficek, Sean Narenthiran, et al.2026 · 1 citation

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

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