Show simple item record

Top-Down Synthesis for Library Learning

dc.contributor.authorBowers, Matthew
dc.contributor.authorOlausson, Theo X.
dc.contributor.authorWong, Lionel
dc.contributor.authorGrand, Gabriel
dc.contributor.authorTenenbaum, Joshua B.
dc.contributor.authorEllis, Kevin
dc.contributor.authorSolar-Lezama, Armando
dc.date.accessioned2023-01-24T19:30:58Z
dc.date.available2023-01-24T19:30:58Z
dc.date.issued2023-01-09
dc.identifier.issn2475-1421
dc.identifier.urihttps://hdl.handle.net/1721.1/147672
dc.publisherACMen_US
dc.relation.isversionofhttps://doi.org/10.1145/3571234en_US
dc.rightsCreative Commons Attribution 4.0 International licenseen_US
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/en_US
dc.sourceACMen_US
dc.titleTop-Down Synthesis for Library Learningen_US
dc.typeArticleen_US
dc.identifier.citationBowers, 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.
dc.contributor.departmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
dc.contributor.departmentMassachusetts Institute of Technology. Department of Brain and Cognitive Sciences
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
dc.relation.journalProceedings of the ACM on Programming Languagesen_US
dc.identifier.mitlicensePUBLISHER_CC
dc.eprint.versionFinal published versionen_US
dc.type.urihttp://purl.org/eprint/type/ConferencePaperen_US
eprint.statushttp://purl.org/eprint/status/NonPeerRevieweden_US
dc.date.updated2023-01-23T15:06:22Z
dc.language.rfc3066en
dc.rights.holderThe author(s)
dspace.date.submission2023-01-23T15:06:23Z
mit.licensePUBLISHER_CC
mit.metadata.statusAuthority Work and Publication Information Neededen_US


Files in this item

Thumbnail
Name:
license_rdf
Size:
40bytes
Format:
application/rdf+xml
View/Open
Thumbnail
Name:
3571234.pdf
Size:
4.484Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record