Top-Down Synthesis for Library Learning
POPL'23, 2023. [All Versions]. This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of programs in a domain specific language (DSL). The algorithm builds abstractions directly…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Organic synthesis in a modular robotic system driven by a chemical programming language science.org
Science, 2019. [All Versions]. [Preprint]. [Perspective: Democratizing synthesis by automation]. This paper develops an autonomous compiler and robotic laboratory platform to synthesize organic compounds on the basis of standardized methods descriptions. The platform comprises…
-
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs dl.acm.org
POPL'23, 2023. [All Versions]. A new algorithm that synthesizes functional reactive programs from observation data, which iterates between a functional synthesis step, which attempts to generate a transition function over observed states, and an automata synthesis step, which…
-
A universal system for digitization and automatic execution of the chemical synthesis literature science.org
Science, 2020. [All Versions]. [Preprint]. [XDL Documentation]. [XDL Schema Database]. This paper reports a software platform that uses natural language processing to translate the organic chemistry literature directly into editable code, which in turn can be compiled to drive…
-
CoLadder: Manipulating Code Generation via Multi-Level Blocks dl.acm.org
UIST'24, 2024. [All Versions]. This paper adopted an iterative design process to gain insights into programmers’ strategies when using LLMs for programming. The authors proposed CoLadder, a novel system that supports programmers by facilitating hierarchical task decomposition…
-
Program Synthesis microsoft.com
Foundations and Trends in Programming Languages, 2017. [All Versions]. Sumit Gulwani's comprehensive review on program synthesis.
-
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 > Domain Specific Language > DSL Program Synthesis: “POPL'23, 2023. [All Versions]. This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of programs in a domain specific language (DSL). The algorithm builds abstractions directly…”