{"id":"https://openalex.org/W7150964085","doi":"https://doi.org/10.48550/arxiv.2604.02910","title":"Analysis of Optimality of Large Language Models on Planning Problems","display_name":"Analysis of Optimality of Large Language Models on Planning Problems","publication_year":2026,"publication_date":"2026-04-03","ids":{"openalex":"https://openalex.org/W7150964085","doi":"https://doi.org/10.48550/arxiv.2604.02910"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.02910","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02910","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":"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.2604.02910","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5121749643","display_name":"Bernd Bohnet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bohnet, Bernd","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047726287","display_name":"Michael C. Mozer","orcid":"https://orcid.org/0000-0002-9654-0575"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mozer, Michael C.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026208886","display_name":"Kevin Swersky","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Swersky, Kevin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046907310","display_name":"Wil Cunningham","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cunningham, Wil","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113069812","display_name":"Aaron Parisi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Parisi, Aaron","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009962014","display_name":"Kathleen Kenealy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kenealy, Kathleen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5087591662","display_name":"Noah Fiedel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fiedel, Noah","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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.5511000156402588,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.5511000156402588,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.11209999769926071,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11574","display_name":"Artificial Intelligence in Games","score":0.051500000059604645,"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/focus","display_name":"Focus (optics)","score":0.6504999995231628},{"id":"https://openalex.org/keywords/satisficing","display_name":"Satisficing","score":0.5622000098228455},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.527400016784668},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4250999987125397},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.4120999872684479},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.4027999937534332},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.3874000012874603}],"concepts":[{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6504999995231628},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6128000020980835},{"id":"https://openalex.org/C94822996","wikidata":"https://www.wikidata.org/wiki/Q1777902","display_name":"Satisficing","level":2,"score":0.5622000098228455},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.527400016784668},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45660001039505005},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44359999895095825},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4250999987125397},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.4120999872684479},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4027999937534332},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3874000012874603},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.38659998774528503},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.31679999828338623},{"id":"https://openalex.org/C2778334786","wikidata":"https://www.wikidata.org/wiki/Q1586270","display_name":"Variation (astronomy)","level":2,"score":0.310699999332428},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2831000089645386},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.28119999170303345},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.267300009727478},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2567000091075897},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.2547999918460846}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.02910","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02910","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":"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.2604.02910","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02910","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":"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":[{"score":0.7169556617736816,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Classic":[0],"AI":[1],"planning":[2],"problems":[3],"have":[4,58],"been":[5],"revisited":[6],"in":[7,87,128],"the":[8,29,49,82,140,191],"Large":[9],"Language":[10],"Model":[11],"(LLM)":[12],"era,":[13],"with":[14,149],"a":[15,66,70,78,137,183,195],"focus":[16,47],"of":[17,54,72,104,110,116],"recent":[18],"benchmarks":[19],"on":[20,39,48],"success":[21],"rates":[22],"rather":[23],"than":[24],"plan":[25],"efficiency.":[26],"We":[27,46,75,97],"examine":[28],"degree":[30],"to":[31,59,65,89,170,189],"which":[32,57],"frontier":[33],"models":[34,188],"reason":[35],"optimally":[36],"versus":[37],"relying":[38],"simple,":[40],"heuristic,":[41],"and":[42,112,182],"possibly":[43],"inefficient":[44],"strategies.":[45],"Blocksworld":[50],"domain":[51],"involving":[52],"towers":[53],"labeled":[55],"blocks":[56],"be":[60],"moved":[61],"from":[62,94],"an":[63,174],"initial":[64],"goal":[67,117],"configuration":[68],"via":[69,179],"set":[71],"primitive":[73],"actions.":[74],"also":[76],"study":[77],"formally":[79],"equivalent":[80],"task,":[81],"generalized":[83],"Path-Star":[84],"($P^*$)":[85],"graph,":[86],"order":[88],"isolate":[90],"true":[91],"topological":[92],"reasoning":[93,180],"semantic":[95,155],"priors.":[96],"systematically":[98],"manipulate":[99],"problem":[100],"depth":[101],"(the":[102,108,114],"height":[103],"block":[105],"towers),":[106,111],"width":[107],"number":[109,115],"compositionality":[113],"blocks).":[118],"Reasoning-enhanced":[119],"LLMs":[120,144],"significantly":[121],"outperform":[122],"traditional":[123],"satisficing":[124],"planners":[125],"(e.g.,":[126],"LAMA)":[127],"complex,":[129],"multi-goal":[130],"configurations.":[131],"Although":[132],"classical":[133],"search":[134,141],"algorithms":[135],"hit":[136],"wall":[138],"as":[139,194],"space":[142],"expands,":[143],"track":[145],"theoretical":[146],"optimality":[147],"limits":[148],"near-perfect":[150],"precision,":[151],"even":[152],"when":[153],"domain-specific":[154],"hints":[156],"are":[157],"stripped":[158],"away.":[159],"To":[160],"explain":[161],"these":[162],"surprising":[163],"findings,":[164],"we":[165],"consider":[166],"(and":[167],"find":[168],"evidence":[169],"support)":[171],"two":[172],"hypotheses:":[173],"active":[175],"Algorithmic":[176],"Simulation":[177],"executed":[178],"tokens":[181],"Geometric":[184],"Memory":[185],"that":[186],"allows":[187],"represent":[190],"$P^*$":[192],"topology":[193],"navigable":[196],"global":[197],"geometry,":[198],"effectively":[199],"bypassing":[200],"exponential":[201],"combinatorial":[202],"complexity.":[203]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-07T00:00:00"}