🔗 Who cites «Syntax-Guided Synthesis»

29 papers of our library cite it (of the 149,439 whose bibliographies we read) · 12 with a page here, the most cited first · ← back to «Syntax-Guided Synthesis»

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. MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code GenerationarXiv:2208.08227Federico Cassano, John Gouwar, Daniel Nguyen, et al.2022 · 88 citations
8. Program SynthesisFoundations and Trends in Programming Languages 4(1-2)Sumit Gulwani, Oleksandr Polozov, Rishabh Singh2017 · 63 citations
9. Clover: Closed-Loop Verifiable Code GenerationLecture notes in computer scienceChuyue Sun, Ying Sheng, Oded Padon, et al.2024 · 56 citations
10. Just-in-Time Learning for Bottom-Up Enumerative SynthesisProceedings of the ACM on Programming LanguagesShraddha Barke, Hila Peleg, Nadia Polikarpova2020 · 38 citations
11. Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement LearningarXiv:1807.08058Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.2018 · 12 citations
12. 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

17 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/alur-2013-syntax-guided-synthesis/cited-by/