Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
Janis Zenkner, Tobias Sesterhenn, Christian Bartelt
Task decomposition is a fundamental mechanism in program synthesis, enabling complex problems to be broken down into manageable subtasks. ExeDec, a state-of-the-art program synthes…
cs.SE2024
AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
Janis Zenkner, Lukas Dierkes, Tobias Sesterhenn +1
LambdaBeam is a state-of-the-art, execution-guided algorithm for program synthesis that utilizes higher-order functions, lambda functions, and iterative loops within a Domain-Speci…