DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning. Ellis, K., Wong, C., Nye, M. I., Sablé-Meyer, M., Morales, L., Hewitt, L. B., Cary, L., Solar-Lezama, A., & Tenenbaum, J. B. In PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, pages 835–850, 2021.
Paper doi bibtex @inproceedings{DBLP:conf/pldi/EllisWNSMHCST21,
author = {Kevin Ellis and
Catherine Wong and
Maxwell I. Nye and
Mathias Sabl{\'{e}}{-}Meyer and
Lucas Morales and
Luke B. Hewitt and
Luc Cary and
Armando Solar{-}Lezama and
Joshua B. Tenenbaum},
title = {DreamCoder: bootstrapping inductive program synthesis with wake-sleep
library learning},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {835--850},
year = {2021},
crossref = {DBLP:conf/pldi/2021},
url = {https://doi.org/10.1145/3453483.3454080},
doi = {10.1145/3453483.3454080},
timestamp = {Mon, 03 Mar 2025 21:20:02 +0100},
biburl = {https://dblp.org/rec/conf/pldi/EllisWNSMHCST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"hkDiBnse29gg6fmsv","bibbaseid":"ellis-wong-nye-sablmeyer-morales-hewitt-cary-solarlezama-etal-dreamcoderbootstrappinginductiveprogramsynthesiswithwakesleeplibrarylearning-2021","author_short":["Ellis, K.","Wong, C.","Nye, M. I.","Sablé-Meyer, M.","Morales, L.","Hewitt, L. B.","Cary, L.","Solar-Lezama, A.","Tenenbaum, J. B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Kevin"],"propositions":[],"lastnames":["Ellis"],"suffixes":[]},{"firstnames":["Catherine"],"propositions":[],"lastnames":["Wong"],"suffixes":[]},{"firstnames":["Maxwell","I."],"propositions":[],"lastnames":["Nye"],"suffixes":[]},{"firstnames":["Mathias"],"propositions":[],"lastnames":["Sablé-Meyer"],"suffixes":[]},{"firstnames":["Lucas"],"propositions":[],"lastnames":["Morales"],"suffixes":[]},{"firstnames":["Luke","B."],"propositions":[],"lastnames":["Hewitt"],"suffixes":[]},{"firstnames":["Luc"],"propositions":[],"lastnames":["Cary"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]},{"firstnames":["Joshua","B."],"propositions":[],"lastnames":["Tenenbaum"],"suffixes":[]}],"title":"DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning","booktitle":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021","pages":"835–850","year":"2021","crossref":"DBLP:conf/pldi/2021","url":"https://doi.org/10.1145/3453483.3454080","doi":"10.1145/3453483.3454080","timestamp":"Mon, 03 Mar 2025 21:20:02 +0100","biburl":"https://dblp.org/rec/conf/pldi/EllisWNSMHCST21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pldi/EllisWNSMHCST21,\n author = {Kevin Ellis and\n Catherine Wong and\n Maxwell I. Nye and\n Mathias Sabl{\\'{e}}{-}Meyer and\n Lucas Morales and\n Luke B. Hewitt and\n Luc Cary and\n Armando Solar{-}Lezama and\n Joshua B. Tenenbaum},\n title = {DreamCoder: bootstrapping inductive program synthesis with wake-sleep\n library learning},\n booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming\n Language Design and Implementation, Virtual Event, Canada, June 20-25,\n 2021},\n pages = {835--850},\n year = {2021},\n crossref = {DBLP:conf/pldi/2021},\n url = {https://doi.org/10.1145/3453483.3454080},\n doi = {10.1145/3453483.3454080},\n timestamp = {Mon, 03 Mar 2025 21:20:02 +0100},\n biburl = {https://dblp.org/rec/conf/pldi/EllisWNSMHCST21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ellis, K.","Wong, C.","Nye, M. I.","Sablé-Meyer, M.","Morales, L.","Hewitt, L. B.","Cary, L.","Solar-Lezama, A.","Tenenbaum, J. B."],"key":"DBLP:conf/pldi/EllisWNSMHCST21","id":"DBLP:conf/pldi/EllisWNSMHCST21","bibbaseid":"ellis-wong-nye-sablmeyer-morales-hewitt-cary-solarlezama-etal-dreamcoderbootstrappinginductiveprogramsynthesiswithwakesleeplibrarylearning-2021","role":"author","urls":{"Paper":"https://doi.org/10.1145/3453483.3454080"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW","DAnxudWukpMXCtWy8"],"keywords":[],"search_terms":["dreamcoder","bootstrapping","inductive","program","synthesis","wake","sleep","library","learning","ellis","wong","nye","sablé-meyer","morales","hewitt","cary","solar-lezama","tenenbaum"],"title":"DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning","year":2021}