{"id":"https://openalex.org/W4415006757","doi":"https://doi.org/10.1145/3763070","title":"Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations","display_name":"Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4415006757","doi":"https://doi.org/10.1145/3763070"},"language":"en","primary_location":{"id":"doi:10.1145/3763070","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763070","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3763070","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055115915","display_name":"Guofeng Cui","orcid":"https://orcid.org/0000-0002-7994-915X"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Guofeng Cui","raw_affiliation_strings":["Rutgers University, New Brunswick, USA"],"raw_orcid":"https://orcid.org/0000-0002-7994-915X","affiliations":[{"raw_affiliation_string":"Rutgers University, New Brunswick, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066740799","display_name":"Yuning Wang","orcid":"https://orcid.org/0009-0000-4317-9758"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuning Wang","raw_affiliation_strings":["Rutgers University, New Brunswick, USA"],"raw_orcid":"https://orcid.org/0009-0000-4317-9758","affiliations":[{"raw_affiliation_string":"Rutgers University, New Brunswick, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Wensen Mao","orcid":"https://orcid.org/0009-0005-6182-6556"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wensen Mao","raw_affiliation_strings":["Rutgers University, New Brunswick, USA"],"raw_orcid":"https://orcid.org/0009-0005-6182-6556","affiliations":[{"raw_affiliation_string":"Rutgers University, New Brunswick, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052087672","display_name":"Yuanlin Duan","orcid":"https://orcid.org/0000-0002-2696-2668"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuanlin Duan","raw_affiliation_strings":["Rutgers University, New Brunswick, USA"],"raw_orcid":"https://orcid.org/0000-0002-2696-2668","affiliations":[{"raw_affiliation_string":"Rutgers University, New Brunswick, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004145814","display_name":"He Zhu","orcid":"https://orcid.org/0000-0001-9606-150X"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"He Zhu","raw_affiliation_strings":["Rutgers University, New Brunswick, USA"],"raw_orcid":"https://orcid.org/0000-0001-9606-150X","affiliations":[{"raw_affiliation_string":"Rutgers University, New Brunswick, USA","institution_ids":["https://openalex.org/I102322142"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5055115915"],"corresponding_institution_ids":["https://openalex.org/I102322142"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13537119,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"555","last_page":"583"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9914000034332275,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9914000034332275,"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/T10653","display_name":"Robot Manipulation and Learning","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/abstraction","display_name":"Abstraction","score":0.7402999997138977},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.6983000040054321},{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.6327999830245972},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.632099986076355},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5720000267028809},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.527899980545044},{"id":"https://openalex.org/keywords/programming-by-demonstration","display_name":"Programming by demonstration","score":0.5153999924659729},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4864000082015991},{"id":"https://openalex.org/keywords/subroutine","display_name":"Subroutine","score":0.4666999876499176}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8007000088691711},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7402999997138977},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.6983000040054321},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.6327999830245972},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.632099986076355},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5720000267028809},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5620999932289124},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.527899980545044},{"id":"https://openalex.org/C2779038628","wikidata":"https://www.wikidata.org/wiki/Q7248497","display_name":"Programming by demonstration","level":3,"score":0.5153999924659729},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.512499988079071},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4864000082015991},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.4666999876499176},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.4074000120162964},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3427000045776367},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.32170000672340393},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3197000026702881},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.3160000145435333},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.3098999857902527},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3089999854564667},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.30390000343322754},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.29490000009536743},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C117619785","wikidata":"https://www.wikidata.org/wiki/Q6094414","display_name":"Iterative learning control","level":3,"score":0.27000001072883606},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C188888258","wikidata":"https://www.wikidata.org/wiki/Q7353390","display_name":"Robot learning","level":4,"score":0.2590000033378601}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763070","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763070","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3763070","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763070","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7849624421","display_name":null,"funder_award_id":"CCF-2124155","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1586162706","https://openalex.org/W2127972144","https://openalex.org/W2149390907","https://openalex.org/W2560662850","https://openalex.org/W2560674852","https://openalex.org/W2604662268","https://openalex.org/W2747329762","https://openalex.org/W2787066086","https://openalex.org/W2801572960","https://openalex.org/W2911386938","https://openalex.org/W2965413709","https://openalex.org/W2967100581","https://openalex.org/W3003793997","https://openalex.org/W3089482831","https://openalex.org/W3128894241","https://openalex.org/W3132438716","https://openalex.org/W3174357804","https://openalex.org/W3201608505","https://openalex.org/W3216772467","https://openalex.org/W4284967226","https://openalex.org/W4310557242","https://openalex.org/W4310895557","https://openalex.org/W4311248665","https://openalex.org/W4312869698","https://openalex.org/W4319653440","https://openalex.org/W4375870244","https://openalex.org/W4382202844","https://openalex.org/W4383097638","https://openalex.org/W4386811828","https://openalex.org/W4388483808","https://openalex.org/W4393972717","https://openalex.org/W4395680447","https://openalex.org/W4399850944","https://openalex.org/W7077155924"],"related_works":[],"abstract_inverted_index":{"Over":[0],"the":[1,17,129,146],"past":[2],"decade,":[3],"deep":[4],"reinforcement":[5,32],"learning":[6,33],"(RL)":[7],"techniques":[8],"have":[9],"significantly":[10],"advanced":[11],"robotic":[12],"systems.":[13],"However,":[14],"due":[15],"to":[16,68,166],"complex":[18],"architectures":[19],"of":[20,62,173,180],"neural":[21],"network":[22],"models,":[23],"ensuring":[24],"their":[25],"trustworthiness":[26],"is":[27,72,134],"a":[28,37,60,89,125],"considerable":[29],"challenge.":[30],"Programmatic":[31],"has":[34],"surfaced":[35],"as":[36,65],"promising":[38],"approach.":[39],"Nonetheless,":[40],"synthesizing":[41,137],"robot-control":[42],"programs":[43,139,163],"remains":[44],"challenging.":[45],"Existing":[46],"methods":[47,177],"rely":[48],"on":[49],"domain-specific":[50],"languages":[51],"(DSLs)":[52],"populated":[53],"with":[54],"user-defined":[55],"state":[56,100,150],"abstraction":[57,91,121],"predicates":[58],"and":[59,101,116,151,183],"library":[61],"low-level":[63],"controllers":[64],"abstract":[66],"actions":[67],"boot":[69],"synthesis,":[70],"which":[71],"impractical":[73],"in":[74,109,136,178],"unknown":[75],"environments":[76],"that":[77,96,161],"lack":[78],"such":[79],"predefined":[80,156],"components.":[81],"To":[82],"address":[83],"this":[84],"limitation,":[85],"we":[86],"introduce":[87],"RoboScribe,":[88],"novel":[90],"refinement-guided":[92],"program":[93,127],"synthesis":[94],"framework":[95],"automatically":[97],"derives":[98],"robot":[99,131,168],"action":[102,152],"abstractions":[103],"from":[104,145],"raw,":[105,148],"unsegmented":[106],"task":[107],"demonstrations":[108],"high-dimensional,":[110],"continuous":[111,149],"spaces.":[112],"It":[113],"iteratively":[114],"enriches":[115],"refines":[117],"an":[118],"initially":[119],"coarse":[120],"until":[122],"it":[123],"generates":[124],"task-solving":[126],"over":[128],"abstracted":[130],"environment.":[132],"RoboScribe":[133,162],"effective":[135],"iterative":[138],"by":[140],"inferring":[141],"recurring":[142],"subroutines":[143],"directly":[144],"robot\u2019s":[147],"spaces,":[153],"without":[154],"needing":[155],"abstractions.":[157],"Experimental":[158],"results":[159],"show":[160],"inductively":[164],"generalize":[165],"long-horizon":[167],"tasks":[169],"involving":[170],"arbitrary":[171],"numbers":[172],"objects,":[174],"outperforming":[175],"baseline":[176],"terms":[179],"both":[181],"interpretability":[182],"efficiency.":[184]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}