Program Synthesis
Foundations and Trends in Programming Languages, 2017. [All Versions]. Sumit Gulwani's comprehensive review on program synthesis.
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Balancing autonomy and expertise in autonomous synthesis laboratories nature.com
Nature Computational Science, 2025. [All Versions]. Autonomous synthesis laboratories promise to streamline the plan–make–measure–analyze iteration loop. Here, the authors comment on the barriers in the field, the promise of a human on-the-loop approach, and strategies for…
-
Program Synthesis with Large Language Models arxiv.org
2021. [All Versions]. This paper explores the limits of the current generation of large language models for program synthesis in general purpose programming languages.
-
Enhancing Robot Program Synthesis Through Environmental Context proceedings.neurips.cc
NeurIPS'23, 2023. [All Versions]. Program synthesis aims to automatically generate an executable program that conforms to the given specification. Recent advancements have demonstrated that deep neural methodologies and large-scale pretrained language models are highly…
-
-
Synthesizing theories of human language with Bayesian program induction cap.csail.mit.edu
Nature Communications, 2022. [All Versions].
-
Universal chemical programming language for robotic synthesis repeatability nature.com
Nature Synthesis, 2024. [All Versions]. [Preprint]. The amount of chemical synthesis literature is growing quickly; however, it takes a long time to share and evaluate new processes among laboratories. This paper presents an approach that uses a universal chemical programming…
AGI & CoCoSci › Papers > Inductive Logic & Program Synthesis: “Foundations and Trends in Programming Languages, 2017. [All Versions]. Sumit Gulwani's comprehensive review on program synthesis.”