{"id":"https://openalex.org/W2795447666","doi":null,"title":"Synthesis of Differentiable Functional Programs for Lifelong Learning","display_name":"Synthesis of Differentiable Functional Programs for Lifelong Learning","publication_year":2018,"publication_date":"2018-03-31","ids":{"openalex":"https://openalex.org/W2795447666","mag":"2795447666"},"language":"en","primary_location":{"id":"mag:2795447666","doi":null,"is_oa":false,"landing_page_url":"http://export.arxiv.org/pdf/1804.00218","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068216685","display_name":"Lazar Valkov","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lazar Valkov","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004474502","display_name":"Dipak Chaudhari","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dipak Chaudhari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022716943","display_name":"Akash Srivastava","orcid":"https://orcid.org/0000-0002-5959-3926","observed_orcids":["https://orcid.org/0000-0002-5959-3926"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Akash Srivastava","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5959-3926","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028501178","display_name":"Charles A. Sutton","orcid":"https://orcid.org/0000-0002-0041-3820","observed_orcids":["https://orcid.org/0000-0002-0041-3820"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Charles Sutton","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-0041-3820","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5057341982","display_name":"Swarat Chaudhuri","orcid":"https://orcid.org/0000-0002-6859-1391","observed_orcids":["https://orcid.org/0000-0002-6859-1391"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Swarat Chaudhuri","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6859-1391","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1209,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48724127,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.5131999850273132,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.5131999850273132,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11307","display_name":"Domain Adaptation and Few-Shot Learning","score":0.09799999743700027,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.09220000356435776,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/neuro-symbolic-learning","display_name":"neuro-symbolic learning","score":0.7879999876022339},{"id":"https://openalex.org/keywords/lifelong-learning","display_name":"lifelong learning","score":0.9769999980926514},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"program synthesis","score":0.7089999914169312},{"id":"https://openalex.org/keywords/neural-network-libraries","display_name":"neural network libraries","score":0.4000000059604645},{"id":"https://openalex.org/keywords/transfer-learning","display_name":"transfer learning","score":0.6570000052452087},{"id":"https://openalex.org/keywords/harry-houdini","display_name":"Houdini","score":0.8069999814033508}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.761457085609436},{"id":"https://openalex.org/C108771440","wikidata":"https://www.wikidata.org/wiki/Q368475","display_name":"Lifelong learning","level":2,"score":0.7447417378425598},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.566735029220581},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.5613460540771484},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5256884098052979},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5144462585449219},{"id":"https://openalex.org/C150899416","wikidata":"https://www.wikidata.org/wiki/Q1820378","display_name":"Transfer of learning","level":2,"score":0.44699937105178833},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.4358952045440674},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.42863649129867554},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.4180023670196533},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.41367632150650024},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3711760640144348},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36144202947616577},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09988725185394287},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0985749363899231},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2795447666","doi":null,"is_oa":false,"landing_page_url":"http://export.arxiv.org/pdf/1804.00218","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1512387364","https://openalex.org/W1991564165","https://openalex.org/W2067713319","https://openalex.org/W2093535699","https://openalex.org/W2094878426","https://openalex.org/W2134557905","https://openalex.org/W2144951274","https://openalex.org/W2172307690","https://openalex.org/W2227557434","https://openalex.org/W2244807774","https://openalex.org/W2251939518","https://openalex.org/W2401306519","https://openalex.org/W2511174833","https://openalex.org/W2550120381","https://openalex.org/W2553303224","https://openalex.org/W2555308822","https://openalex.org/W2560647685","https://openalex.org/W2583761661","https://openalex.org/W2592914533","https://openalex.org/W2747469359","https://openalex.org/W2899771611","https://openalex.org/W2963055053","https://openalex.org/W2963102152","https://openalex.org/W2963224792","https://openalex.org/W2976890614","https://openalex.org/W3083490477","https://openalex.org/W3192343331"],"related_works":["https://openalex.org/W2898586683","https://openalex.org/W2592914533","https://openalex.org/W4206647573","https://openalex.org/W4408632732","https://openalex.org/W4281665515","https://openalex.org/W7097960954","https://openalex.org/W4415798677","https://openalex.org/W4417332835","https://openalex.org/W7155204762","https://openalex.org/W7172160164"],"abstract_inverted_index":{"We":[0,34,138],"present":[1],"a":[2,37,48,81,92,97,127],"neurosymbolic":[3],"approach":[4,141,168],"to":[5,52,79,122,156],"the":[6,108,116,159,166],"lifelong":[7,32],"learning":[8,24,41,87],"of":[9,39,83,162],"algorithmic":[10,144],"tasks":[11],"that":[12,36,74,95,111,118,130,149,165],"mix":[13],"perception":[14],"and":[15,23,42,105,115,125,164],"procedural":[16],"reasoning.":[17],"Reusing":[18],"highlevel":[19],"concepts":[20,171],"across":[21],"domains":[22],"complex":[25],"procedures":[26],"are":[27],"two":[28],"key":[29],"challenges":[30,54],"in":[31,102],"learning.":[33,183],"show":[35,148],"combination":[38],"gradientbased":[40],"symbolic":[43,76],"program":[44,93],"synthesis":[45],"can":[46],"be":[47,113,120],"more":[49,172],"effective":[50],"response":[51],"these":[53],"than":[55,174],"purely":[56],"neural":[57,65,84,128,176],"methods.":[58],"Concretely,":[59],"our":[60,140,150],"approach,":[61],"called":[62],"HOUDINI,":[63],"represents":[64],"networks":[66,177],"as":[67,178,180],"strongly":[68],"typed,":[69],"end-to-end":[70],"differentiable":[71],"functional":[72],"programs":[73,101,133],"use":[75],"higher-order":[77],"combinators":[78],"compose":[80],"library":[82,109],"functions.":[85],"Our":[86,146],"algorithm":[88],"consists":[89],"of:":[90],"(1)":[91],"synthesizer":[94],"performs":[96],"type-directed":[98,151],"search":[99,152,160],"over":[100],"this":[103],"language,":[104],"decides":[106],"on":[107,142],"functions":[110],"should":[112,119],"reused":[114],"architectures":[117],"used":[121],"combine":[123],"them;":[124],"(2)":[126],"module":[129],"trains":[131],"synthesized":[132],"using":[134],"stochastic":[135],"gradient":[136],"descent.":[137],"evaluate":[139],"three":[143],"tasks.":[145],"experiments":[147],"technique":[153],"is":[154],"able":[155],"significantly":[157],"prune":[158],"space":[161],"programs,":[163],"overall":[167],"transfers":[169],"high-level":[170],"effectively":[173],"monolithic":[175],"well":[179],"traditional":[181],"transfer":[182]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2018-04-13T00:00:00"}