🧑‍🔬 Who cites Sanjit Arunkumar Seshia

48 citations of their works from 48 papers of our library (of the 149,439 whose bibliographies we read) · 18 with a page here, the most cited first · ← Sanjit Arunkumar Seshia

1. Program Synthesis with Large Language ModelsarXiv:2108.07732Jacob Austin, Augustus Odena, Maxwell Nye, et al.2021 · 1,192 citations
2. cvc5: A Versatile and Industrial-Strength SMT SolverLecture notes in computer scienceHaniel Barbosa, Clark Barrett, Martin Brain, et al.2022 · 487 citations
3. SQLNet: Generating Structured Queries From Natural Language Without Reinforcement LearningarXiv:1711.04436Xiaojun Xu, Chang Liu, Dawn Song2017 · 372 citations
4. Type-and-Example-Directed Program SynthesisProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationPeter-Michael Osera, Steve Zdancewic2015 · 198 citations
5. Neuro-Symbolic Program SynthesisarXiv:1611.01855Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, et al.2016 · 152 citations
6. Generalized Planning in PDDL Domains with Pretrained Large Language ModelsProceedings of the AAAI Conference on Artificial IntelligenceTom Silver, Soham Dan, Kavitha Srinivas, et al.2023 · 112 citations
7. Mechanistic Interpretability for AI Safety — A ReviewarXiv:2404.14082Leonard Bereska, Efstratios Gavves2024 · 108 citations
8. MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code GenerationarXiv:2208.08227Federico Cassano, John Gouwar, Daniel Nguyen, et al.2022 · 88 citations
9. Program SynthesisFoundations and Trends in Programming Languages 4(1-2)Sumit Gulwani, Oleksandr Polozov, Rishabh Singh2017 · 63 citations
10. Clover: Closed-Loop Verifiable Code GenerationLecture notes in computer scienceChuyue Sun, Ying Sheng, Oded Padon, et al.2024 · 56 citations
11. Just-in-Time Learning for Bottom-Up Enumerative SynthesisProceedings of the ACM on Programming LanguagesShraddha Barke, Hila Peleg, Nadia Polikarpova2020 · 38 citations
12. Graph Representations for Higher-Order Logic and Theorem ProvingProceedings of the AAAI Conference on Artificial IntelligenceAditya Paliwal, Sarah Loos, Markus Rabe, et al.2019 · 33 citations
13. Teaching Temporal Logics to Neural NetworksarXiv:2003.04218Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.2020 · 24 citations
14. Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement LearningarXiv:1811.00796Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai2018 · 15 citations
15. Generating Code World Models with Large Language Models Guided by Monte Carlo Tree SearcharXiv:2405.15383Nicola Dainese, Matteo Merler, Minttu Alakuijala, et al.2024 · 14 citations
16. Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement LearningarXiv:1807.08058Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.2018 · 12 citations
17. PBEBench: A Multi-Step Programming by Examples Reasoning Benchmark inspired by Historical LinguisticsFindings of the Association for Computational LinguisticsAtharva Naik, Darsh Agrawal, Prakam, et al.2026 · 1 citation
18. Accountable Human-AI Deliberation with LLMs: Scaling Collective Intelligence through Symbiotic ScaffoldingProceedings of The 2nd Workshop on Language-driven Deliberation TechnologyWajdi Zaghouani2026

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

This page in Markdown → https://md.research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/cited-by/