TY  - RPRT
TI  - Top-Down Synthesis for Library Learning
AU  - Matthew Bowers
AU  - Theo X. Olausson
AU  - Lionel Wong
AU  - Gabriel Grand
AU  - Joshua B. Tenenbaum
AU  - Kevin Ellis
AU  - Armando Solar-Lezama
PY  - 2023
DO  - 10.1145/3571234
UR  - https://arxiv.org/abs/2211.16605
ID  - 2211.16605
ER  -