{"id":"https://openalex.org/W3161363316","doi":"https://doi.org/10.1109/access.2021.3079351","title":"Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning","display_name":"Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3161363316","doi":"https://doi.org/10.1109/access.2021.3079351","mag":"3161363316"},"language":"en","primary_location":{"id":"doi:10.1109/access.2021.3079351","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2021.3079351","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/9312710/09427519.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/9312710/09427519.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100413978","display_name":"Yuhong Wang","orcid":"https://orcid.org/0000-0002-4729-3424"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhong Wang","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-4729-3424","affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100353779","display_name":"Xin Li","orcid":"https://orcid.org/0000-0002-0010-5158"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Li","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-0010-5158","affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.2772,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.58966371,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":null,"first_page":"71521","last_page":"71534"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8407654762268066},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.7644894123077393},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.5622009038925171},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5574945211410522},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5338159203529358},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5012884140014648},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.47540315985679626},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.464490681886673},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4308583736419678},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.41847991943359375},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31418144702911377},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3126243054866791}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8407654762268066},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.7644894123077393},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.5622009038925171},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5574945211410522},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5338159203529358},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5012884140014648},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47540315985679626},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.464490681886673},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4308583736419678},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.41847991943359375},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31418144702911377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3126243054866791},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2021.3079351","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2021.3079351","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/9312710/09427519.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:ec9834cfe0bd4df1a3b25cc22e73b9cc","is_oa":true,"landing_page_url":"https://doaj.org/article/ec9834cfe0bd4df1a3b25cc22e73b9cc","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 9, Pp 71521-71534 (2021)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2021.3079351","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2021.3079351","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/9312710/09427519.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3341396123","display_name":null,"funder_award_id":"61802126","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4333468706","display_name":null,"funder_award_id":"2018YFC0830400","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321540","display_name":"Ministry of Science and Technology of the People's Republic of China","ror":"https://ror.org/027s68j25"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3161363316.pdf","grobid_xml":"https://content.openalex.org/works/W3161363316.grobid-xml"},"referenced_works_count":77,"referenced_works":["https://openalex.org/W196393734","https://openalex.org/W648786980","https://openalex.org/W1507894341","https://openalex.org/W1509437856","https://openalex.org/W1511834278","https://openalex.org/W1522301498","https://openalex.org/W1526922602","https://openalex.org/W1560374668","https://openalex.org/W1573167079","https://openalex.org/W1577352482","https://openalex.org/W1583199978","https://openalex.org/W1902237438","https://openalex.org/W1905591175","https://openalex.org/W1973831620","https://openalex.org/W2012312630","https://openalex.org/W2013596093","https://openalex.org/W2016027000","https://openalex.org/W2025127488","https://openalex.org/W2064675550","https://openalex.org/W2076242896","https://openalex.org/W2093535699","https://openalex.org/W2094878426","https://openalex.org/W2130942839","https://openalex.org/W2142126234","https://openalex.org/W2149236697","https://openalex.org/W2156387975","https://openalex.org/W2161159055","https://openalex.org/W2550100435","https://openalex.org/W2550120381","https://openalex.org/W2576723740","https://openalex.org/W2601273560","https://openalex.org/W2763496606","https://openalex.org/W2786248241","https://openalex.org/W2787457957","https://openalex.org/W2798628553","https://openalex.org/W2883187296","https://openalex.org/W2890250000","https://openalex.org/W2910040435","https://openalex.org/W2952842591","https://openalex.org/W2953081964","https://openalex.org/W2954494349","https://openalex.org/W2962688617","https://openalex.org/W2962891438","https://openalex.org/W2962900518","https://openalex.org/W2963022684","https://openalex.org/W2963739263","https://openalex.org/W2964121744","https://openalex.org/W2964150020","https://openalex.org/W2964240296","https://openalex.org/W2969400428","https://openalex.org/W2976334824","https://openalex.org/W2976890614","https://openalex.org/W3009002422","https://openalex.org/W3110369458","https://openalex.org/W4229675450","https://openalex.org/W4235938827","https://openalex.org/W4241222526","https://openalex.org/W4242239856","https://openalex.org/W4244452926","https://openalex.org/W4297809004","https://openalex.org/W4298090619","https://openalex.org/W4320013936","https://openalex.org/W6608006189","https://openalex.org/W6621543089","https://openalex.org/W6631190155","https://openalex.org/W6634999007","https://openalex.org/W6679436768","https://openalex.org/W6682889407","https://openalex.org/W6729410713","https://openalex.org/W6729482287","https://openalex.org/W6735340079","https://openalex.org/W6735480746","https://openalex.org/W6748178589","https://openalex.org/W6748247436","https://openalex.org/W6748385666","https://openalex.org/W6754660214","https://openalex.org/W6758201209"],"related_works":["https://openalex.org/W1793478138","https://openalex.org/W2531895878","https://openalex.org/W2057474779","https://openalex.org/W2150616836","https://openalex.org/W1492479631","https://openalex.org/W2521829344","https://openalex.org/W1886863601","https://openalex.org/W4250882027","https://openalex.org/W4235947164","https://openalex.org/W2001722920"],"abstract_inverted_index":{"Synthesizing":[0],"intended":[1],"programs":[2,64,101,177],"from":[3],"user-specified":[4],"input-output":[5,106],"examples,":[6],"also":[7],"known":[8],"as":[9,92],"Programming":[10],"by":[11,68,146],"Examples":[12],"(PBE),":[13],"is":[14,36,152],"a":[15,26,40,57],"challenging":[16,196],"problem":[17],"in":[18,34,43,120,155],"program":[19,42,79,197],"synthesis,":[20],"and":[21,113,125,135,185,192],"has":[22],"been":[23],"applied":[24],"to":[25,37,76,157,215],"wide":[27],"range":[28],"of":[29,62,99,116,140,171,211],"domains.":[30],"A":[31],"key":[32],"challenge":[33],"PBE":[35,123,156],"efficiently":[38],"discover":[39],"user-intended":[41],"the":[44,78,159,209],"search":[45,97,162],"space":[46],"that":[47,102],"can":[48],"be":[49],"exponentially":[50],"large.":[51],"In":[52],"this":[53],"work,":[54],"we":[55],"propose":[56],"method":[58,174,191,213],"for":[59,88,143],"automatic":[60],"synthesis":[61,144,198],"functional":[63,176],"on":[65,130,200,208],"list":[66,201],"manipulation,":[67],"using":[69],"offline-trained":[70],"Recurrent":[71],"Neural":[72],"Network":[73],"(RNN)":[74],"models":[75],"guide":[77,158],"search.":[80,148],"We":[81,187],"adopt":[82],"miniKanren,":[83],"an":[84,93,111],"embedded":[85],"domain-specific":[86],"language":[87],"flexible":[89],"relational":[90],"programming,":[91],"underlying":[94],"top-down":[95,160],"deductive":[96,147,161],"engine":[98],"candidate":[100],"are":[103],"consistent":[104],"with":[105,163,178,195],"examples.":[107],"Our":[108],"approach":[109],"targets":[110],"easy":[112],"effective":[114],"integration":[115],"deep":[117],"learning":[118],"techniques":[119],"making":[121],"better":[122],"systems":[124],"combines":[126],"two":[127],"technical":[128],"ideas":[129],"generating":[131],"diverse":[132],"training":[133],"dataset":[134],"designing":[136],"rich":[137],"feature":[138],"embeddings":[139],"probable":[141],"subproblems":[142],"generated":[145],"The":[149,203],"offline-learned":[150],"model":[151],"then":[153],"used":[154],"specific":[164],"strategies.":[165],"To":[166],"practically":[167],"manipulate":[168],"data":[169],"structures":[170],"lists,":[172],"our":[173,190,212],"synthesizes":[175],"popular":[179],"higher-order":[180],"combinators":[181],"including":[182],"map,":[183],"foldl":[184],"foldr.":[186],"have":[188],"implemented":[189],"evaluated":[193],"it":[194],"tasks":[199],"manipulation.":[202],"experiments":[204],"show":[205],"promising":[206],"results":[207],"performance":[210],"compared":[214],"related":[216],"state-of-the-art":[217],"inductive":[218],"synthesizers.":[219]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}