@article{abstractbeamenhancingbottomupprogram,
  title = {AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning},
  author = {Janis Zenkner and Lukas Dierkes and Tobias Sesterhenn and Chrisitan Bartelt},
  year = {2024},
  eprint = {2405.17514},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2405.17514v3},
}