{"id":"https://openalex.org/W7163881046","doi":"https://doi.org/10.48550/arxiv.2606.06877","title":"Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints","display_name":"Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints","publication_year":2026,"publication_date":"2026-06-05","ids":{"openalex":"https://openalex.org/W7163881046","doi":"https://doi.org/10.48550/arxiv.2606.06877"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.06877","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.06877","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"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.2606.06877","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138117540","display_name":"Qiwei Du","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Du, Qiwei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037864654","display_name":"Zitong Zhan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhan, Zitong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138180601","display_name":"Shaoshu Su","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Su, Shaoshu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138134241","display_name":"Bowen Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Bowen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138152312","display_name":"Yi Du","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Du, Yi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005679999","display_name":"Zhipeng Zhao","orcid":"https://orcid.org/0000-0001-9691-8403"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Zhipeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138116602","display_name":"Taimeng Fu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fu, Taimeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116269602","display_name":"Sebastian Scherer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Scherer, Sebastian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138115290","display_name":"Jiaoyang Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Jiaoyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138128420","display_name":"Chen Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Chen","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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.3634999990463257,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.3634999990463257,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.24469999969005585,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.20090000331401825,"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/task","display_name":"Task (project management)","score":0.6606000065803528},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5866000056266785},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.5358999967575073},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4925999939441681},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4415000081062317},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.44029998779296875},{"id":"https://openalex.org/keywords/imperfect","display_name":"Imperfect","score":0.39410001039505005},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.3799000084400177}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.732200026512146},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6606000065803528},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6144000291824341},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5866000056266785},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.5358999967575073},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4925999939441681},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4415000081062317},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.44029998779296875},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4352000057697296},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.39410001039505005},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.3799000084400177},{"id":"https://openalex.org/C22367795","wikidata":"https://www.wikidata.org/wiki/Q7625208","display_name":"Structured prediction","level":2,"score":0.33739998936653137},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.3181000053882599},{"id":"https://openalex.org/C2780490138","wikidata":"https://www.wikidata.org/wiki/Q7079636","display_name":"Offline learning","level":3,"score":0.3084000051021576},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.3001999855041504},{"id":"https://openalex.org/C56858530","wikidata":"https://www.wikidata.org/wiki/Q15947151","display_name":"Reduction strategy","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C3309286","wikidata":"https://www.wikidata.org/wiki/Q4907693","display_name":"Bilevel optimization","level":3,"score":0.2784999907016754},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.27379998564720154},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.2556999921798706}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.06877","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.06877","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.06877","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.06877","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.7283552885055542}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Task":[0],"planning":[1,33,83,95,117,174],"often":[2],"suffers":[3],"from":[4,52],"severe":[5],"efficiency":[6,34],"bottlenecks":[7],"when":[8],"robots":[9],"must":[10],"reason":[11],"over":[12],"long-horizon":[13],"action":[14,27],"sequences":[15],"under":[16],"complex":[17],"logical":[18],"constraints,":[19],"including":[20,162],"object":[21],"affordances,":[22],"spatial":[23],"relationships,":[24],"and":[25,81,142,148,169,188,197],"sequential":[26],"dependencies.":[28],"Recent":[29],"neuro-symbolic":[30,199],"methods":[31],"improve":[32],"by":[35,71],"learning":[36,92,127],"object-importance":[37,91],"scores":[38],"to":[39,78,145],"prune":[40],"task-irrelevant":[41],"objects,":[42],"but":[43],"they":[44],"typically":[45],"rely":[46],"on":[47,155,181],"fixed":[48],"offline":[49],"supervision":[50],"generated":[51],"full":[53],"search":[54,68,122],"spaces.":[55],"This":[56],"creates":[57],"a":[58,107,115,131,170,182],"train-test":[59],"mismatch:":[60],"at":[61],"deployment,":[62],"the":[63,72,111,120,135,179,189],"planner":[64],"operates":[65],"in":[66,119,166,173,186],"pruned":[67],"spaces":[69],"induced":[70],"model's":[73],"own":[74],"imperfect":[75],"predictions,":[76],"leading":[77],"exposure":[79],"bias":[80],"degraded":[82],"performance.":[84],"To":[85,124],"address":[86],"this":[87,126],"challenge,":[88],"we":[89,129],"formulate":[90],"for":[93,151,195],"task":[94,200],"as":[96],"an":[97,163],"imperative":[98],"learning-based":[99],"bilevel":[100],"optimization":[101],"problem.":[102],"The":[103],"upper":[104],"level":[105,113],"optimizes":[106],"neural":[108],"scorer,":[109],"while":[110],"lower":[112],"solves":[114],"symbolic":[116],"problem":[118],"score-pruned":[121],"space.":[123],"stabilize":[125],"process,":[128],"introduce":[130],"3R":[132],"strategy":[133],"into":[134],"lower-level":[136],"planning,":[137],"using":[138],"parallel":[139],"Repair,":[140],"Restart,":[141],"Rollback":[143],"recovery":[144],"provide":[146],"reliable":[147],"adaptive":[149],"feedback":[150],"upper-level":[152],"learning.":[153],"Experiments":[154],"three":[156],"challenging":[157],"benchmarks":[158],"demonstrate":[159],"state-of-the-art":[160],"performance,":[161],"80.04%":[164],"reduction":[165,172],"failure":[167],"rate":[168],"57.14%":[171],"time.":[175],"We":[176],"further":[177],"validate":[178],"framework":[180],"quadruped-based":[183],"mobile":[184],"manipulator":[185],"simulation":[187],"real":[190],"world,":[191],"demonstrating":[192],"its":[193],"potential":[194],"efficient":[196],"deployable":[198],"planning.":[201]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-09T00:00:00"}