Enhancing Robot Program Synthesis Through Environmental Context
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…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Program Synthesis Guided Reinforcement Learning proceedings.neurips.cc
NeurIPS'21, 2021. [All Versions].
-
Learning Compositional Rules via Neural Program Synthesis proceedings.neurips.cc
NeurIPS'20, 2020. [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…
-
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…
-
Communicating Natural Programs to Humans and Machines proceedings.neurips.cc
NeurIPS'22, 2022. [All Versions]. While humans readily generate and interpret instructions in a general language, computer systems are shackled to a narrow domain-specific language that they can precisely execute. This makes building intelligent systems that can generalize to…
-
Program Synthesis microsoft.com
Foundations and Trends in Programming Languages, 2017. [All Versions]. Sumit Gulwani's comprehensive review on program synthesis.
AGI & CoCoSci › Papers > Domain Specific Language > DSL Program Synthesis: “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…”