We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 2211.16605 can endorse.

Top-Down Synthesis for Library Learning

Maddy Bowers: Is registered as an author of this paper.
Not currently an endorser. (why?)

Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis and Armando Solar-Lezama are not registered as owners of this paper. (why?)