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…