@article{DBLP:journals/ftpl/ChaudhuriEPSSY21,
  author       = {Swarat Chaudhuri and
                  Kevin Ellis and
                  Oleksandr Polozov and
                  Rishabh Singh and
                  Armando Solar{-}Lezama and
                  Yisong Yue},
  title        = {Neurosymbolic Programming},
  journal      = {Found. Trends Program. Lang.},
  volume       = {7},
  number       = {3},
  pages        = {158--243},
  year         = {2021},
  url          = {https://doi.org/10.1561/2500000049},
  doi          = {10.1561/2500000049},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ftpl/ChaudhuriEPSSY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wcfreS7sg6Y2DSFm8","bibbaseid":"chaudhuri-ellis-polozov-singh-solarlezama-yue-neurosymbolicprogramming-2021","author_short":["Chaudhuri, S.","Ellis, K.","Polozov, O.","Singh, R.","Solar-Lezama, A.","Yue, Y."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Swarat"],"propositions":[],"lastnames":["Chaudhuri"],"suffixes":[]},{"firstnames":["Kevin"],"propositions":[],"lastnames":["Ellis"],"suffixes":[]},{"firstnames":["Oleksandr"],"propositions":[],"lastnames":["Polozov"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]},{"firstnames":["Yisong"],"propositions":[],"lastnames":["Yue"],"suffixes":[]}],"title":"Neurosymbolic Programming","journal":"Found. Trends Program. Lang.","volume":"7","number":"3","pages":"158–243","year":"2021","url":"https://doi.org/10.1561/2500000049","doi":"10.1561/2500000049","timestamp":"Sat, 09 Apr 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ftpl/ChaudhuriEPSSY21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ftpl/ChaudhuriEPSSY21,\n author = {Swarat Chaudhuri and\n Kevin Ellis and\n Oleksandr Polozov and\n Rishabh Singh and\n Armando Solar{-}Lezama and\n Yisong Yue},\n title = {Neurosymbolic Programming},\n journal = {Found. Trends Program. Lang.},\n volume = {7},\n number = {3},\n pages = {158--243},\n year = {2021},\n url = {https://doi.org/10.1561/2500000049},\n doi = {10.1561/2500000049},\n timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ftpl/ChaudhuriEPSSY21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Chaudhuri, S.","Ellis, K.","Polozov, O.","Singh, R.","Solar-Lezama, A.","Yue, Y."],"key":"DBLP:journals/ftpl/ChaudhuriEPSSY21","id":"DBLP:journals/ftpl/ChaudhuriEPSSY21","bibbaseid":"chaudhuri-ellis-polozov-singh-solarlezama-yue-neurosymbolicprogramming-2021","role":"author","urls":{"Paper":"https://doi.org/10.1561/2500000049"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["BD7bKLMmjzry4ihss","rGuy4xgsrB7zfgooW"],"keywords":[],"search_terms":["neurosymbolic","programming","chaudhuri","ellis","polozov","singh","solar-lezama","yue"],"title":"Neurosymbolic Programming","year":2021}