@misc{indiciae8d6610b96ff0,
  title = {Top-Down Synthesis for Library Learning},
  author = {Matthew Bowers and Theo X. Olausson and Lionel Wong and Gabriel Grand and Joshua B. Tenenbaum and Kevin Ellis and Armando Solar-Lezama},
  year = {2023},
  doi = {10.1145/3571234},
  url = {https://arxiv.org/abs/2211.16605},
  note = {Source identifier: 2211.16605}
}