AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning. - Janis Zenkner; Lukas Dierkes; Tobias Sesterhenn; Chrisitan Bartelt (CoRR, 2024)