TY  - RPRT
TI  - AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
AU  - Janis Zenkner
AU  - Lukas Dierkes
AU  - Tobias Sesterhenn
AU  - Chrisitan Bartelt
PY  - 2024
UR  - https://arxiv.org/abs/2405.17514
ID  - 2405.17514
ER  -