CoLadder: Manipulating Code Generation via Multi-Level Blocks
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…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Learning Higher-Order Logic Programs through Abstraction and Invention andrewcropper.com
IJCAI'16, 2016. [All Versions].
-
-
babble: Learning Better Abstractions with E-Graphs and Anti-unification dl.acm.org
POPL'23, 2023. [All Versions]. This paper proposes library learning modulo theory (LLMT), a new library learning algorithm that additionally takes as input an equational theory for a given problem domain. LLMT uses e-graphs and equality saturation to compactly represent the…
-
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…
-
Learning Efficient Logical Robot Strategies Involving Composable Objects andrewcropper.com
IJCAI'15, 2015. [All Versions].
-
Neural Task Programming: Learning to Generalize Across Hierarchical Tasks ieeexplore.ieee.org
ICRA'18, 2018. [All Versions].
AGI & CoCoSci › Papers > Domain Specific Language > DSL Program Synthesis: “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…”