Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
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…
- 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…
-
Top-Down Synthesis for Library Learning dl.acm.org
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…
-
Artificial Intelligence for Retrosynthetic Planning Needs Both Data and Expert Knowledge pubs.acs.org
Journal of the American Chemical Society, 2024. [All Versions]. The development of AI synthesis planners trained solely on reaction-example-data has stagnated and is not on par with the performance of “hybrid” algorithms combining AI with expert knowledge. This Perspective…
-
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…
-
Abstract strategy learning underlies flexible transfer in physical problem solving cognitivesciencesociety.org
CogSci'20, 2020. [All Versions].
-
Program Synthesis microsoft.com
Foundations and Trends in Programming Languages, 2017. [All Versions]. Sumit Gulwani's comprehensive review on program synthesis.
AGI & CoCoSci › Papers > Inductive Logic & Program Synthesis: “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…”