@misc{indiciaed9ca2ea3da91, title = {AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning}, author = {Janis Zenkner and Lukas Dierkes and Tobias Sesterhenn and Chrisitan Bartelt}, year = {2024}, url = {https://arxiv.org/abs/2405.17514}, note = {Source identifier: 2405.17514} }