{"id":"https://openalex.org/W7139943384","doi":"https://doi.org/10.48550/arxiv.2603.18495","title":"Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning","display_name":"Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning","publication_year":2026,"publication_date":"2026-03-19","ids":{"openalex":"https://openalex.org/W7139943384","doi":"https://doi.org/10.48550/arxiv.2603.18495"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.18495","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.18495","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.18495","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130242787","display_name":"Jooyoung Kim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim, Jooyoung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130251540","display_name":"Wonje Choi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Choi, Wonje","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130235920","display_name":"Younguk Song","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Song, Younguk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5130220077","display_name":"Honguk Woo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Woo, Honguk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.45489999651908875,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.45489999651908875,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.1347000002861023,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.12290000170469284,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.7996000051498413},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.689300000667572},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.49380001425743103},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4788999855518341},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.47119998931884766},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.4562999904155731},{"id":"https://openalex.org/keywords/undo","display_name":"Undo","score":0.4260999858379364},{"id":"https://openalex.org/keywords/perception","display_name":"Perception","score":0.4178999960422516}],"concepts":[{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.7996000051498413},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7451000213623047},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.689300000667572},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5249000191688538},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.49380001425743103},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4788999855518341},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.47119998931884766},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.4562999904155731},{"id":"https://openalex.org/C2780154230","wikidata":"https://www.wikidata.org/wiki/Q513420","display_name":"Undo","level":2,"score":0.4260999858379364},{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.4178999960422516},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.37400001287460327},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3400999903678894},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.32019999623298645},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.30480000376701355},{"id":"https://openalex.org/C93500599","wikidata":"https://www.wikidata.org/wiki/Q7687352","display_name":"Task switching","level":3,"score":0.3043000102043152},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30329999327659607},{"id":"https://openalex.org/C2779038628","wikidata":"https://www.wikidata.org/wiki/Q7248497","display_name":"Programming by demonstration","level":3,"score":0.2766000032424927},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.263700008392334},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2590000033378601}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.18495","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.18495","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.18495","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.18495","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.583306610584259}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recent":[0],"advances":[1],"in":[2,135],"Vision-Language":[3],"Models":[4],"(VLMs)":[5],"have":[6],"enabled":[7],"video-instructed":[8,24],"robotic":[9,25],"programming,":[10],"allowing":[11],"agents":[12],"to":[13,52],"interpret":[14],"video":[15,88],"demonstrations":[16,89],"and":[17,34,39,56,150],"generate":[18],"executable":[19],"control":[20],"code.":[21],"We":[22,64],"formulate":[23],"programming":[26],"as":[27],"a":[28,67,80,132],"cross-domain":[29,108,145],"adaptation":[30,75,146],"problem,":[31],"where":[32],"perceptual":[33],"physical":[35],"differences":[36],"between":[37],"demonstration":[38],"deployment":[40,100],"induce":[41],"procedural":[42,49,121],"mismatches.":[43],"However,":[44],"current":[45],"VLMs":[46],"lack":[47],"the":[48,95,112,127,139],"understanding":[50],"needed":[51],"reformulate":[53],"causal":[54],"dependencies":[55],"achieve":[57],"task-compatible":[58],"behavior":[59],"under":[60],"such":[61],"domain":[62],"shifts.":[63],"introduce":[65],"NeSyCR,":[66],"neurosymbolic":[68],"counterfactual":[69,104],"reasoning":[70],"framework":[71],"that":[72,93,106,123],"enables":[73],"verifiable":[74,117],"of":[76,83],"task":[77,97,136],"procedures,":[78],"providing":[79],"reliable":[81],"synthesis":[82],"code":[84],"policies.":[85],"NeSyCR":[86,119,130],"abstracts":[87],"into":[90],"symbolic":[91,113],"trajectories":[92],"capture":[94],"underlying":[96],"procedure.":[98,129],"Given":[99],"observations,":[101],"it":[102],"derives":[103],"states":[105],"reveal":[107],"incompatibilities.":[109],"By":[110],"exploring":[111],"state":[114],"space":[115],"with":[116,126],"checks,":[118],"proposes":[120],"revisions":[122],"restore":[124],"compatibility":[125],"demonstrated":[128],"achieves":[131],"31.14%":[133],"improvement":[134],"success":[137],"over":[138],"strongest":[140],"baseline":[141],"Statler,":[142],"showing":[143],"robust":[144],"across":[147],"both":[148],"simulated":[149],"real-world":[151],"manipulation":[152],"tasks.":[153]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-21T00:00:00"}