Top-Down Synthesis for Library Learning
Author(s)
Bowers, Matthew
Olausson, Theo X.
Wong, Lionel
Grand, Gabriel
Tenenbaum, Joshua B.
Ellis, Kevin
Solar-Lezama, Armando
Date Issued
January 9, 2023
Journal
Proceedings of the ACM on Programming Languages
Publisher
ACM
Citation
Bowers, Matthew, Olausson, Theo X., Wong, Lionel, Grand, Gabriel, Tenenbaum, Joshua B. et al. 2023. "Top-Down Synthesis for Library Learning." Proceedings of the ACM on Programming Languages.
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Brain and Cognitive Sciences
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3571234
