{"id":"https://openalex.org/W7128678488","doi":"https://doi.org/10.48550/arxiv.2602.10485","title":"Abstraction Generation for Generalized Planning with Pretrained Large Language Models","display_name":"Abstraction Generation for Generalized Planning with Pretrained Large Language Models","publication_year":2026,"publication_date":"2026-02-11","ids":{"openalex":"https://openalex.org/W7128678488","doi":"https://doi.org/10.48550/arxiv.2602.10485"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2602.10485","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.10485","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2602.10485","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043440684","display_name":"Zhenhe Cui","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Cui, Zhenhe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125686142","display_name":"Huaxiang Xia","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xia, Huaxiang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125687882","display_name":"Hangjun Shen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shen, Hangjun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069922565","display_name":"Kailun Luo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luo, Kailun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125683952","display_name":"Yong HE","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He, Yong","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5125689162","display_name":"Wei Liang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liang, Wei","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5043440684"],"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.9708999991416931,"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.9708999991416931,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.00430000014603138,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0035000001080334187,"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/abstraction","display_name":"Abstraction","score":0.8644999861717224},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8076000213623047},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5163000226020813},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4876999855041504},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4749000072479248},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.373199999332428}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.8644999861717224},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8076000213623047},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7177000045776367},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5217000246047974},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5163000226020813},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.505299985408783},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4876999855041504},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4749000072479248},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.373199999332428},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3246999979019165},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30059999227523804},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.29190000891685486},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2818000018596649},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.27230000495910645},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2602.10485","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.10485","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2602.10485","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.10485","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.4707161486148834}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Qualitative":[0],"Numerical":[1],"Planning":[2],"(QNP)":[3],"serves":[4],"as":[5,36,46],"an":[6],"important":[7],"abstraction":[8,48,102],"model":[9],"for":[10,50],"generalized":[11,37],"planning":[12],"(GP),":[13],"which":[14],"aims":[15],"to":[16,55,73,77,100,106],"compute":[17],"general":[18],"plans":[19],"that":[20,29,111],"solve":[21],"multiple":[22],"instances":[23],"at":[24],"once.":[25],"Recent":[26],"works":[27],"show":[28],"large":[30],"language":[31],"models":[32],"(LLMs)":[33],"can":[34,44,120],"function":[35],"planners.":[38],"This":[39],"work":[40],"investigates":[41],"whether":[42],"LLMs":[43,105,119],"serve":[45],"QNP":[47,92,123],"generators":[49],"GP":[51,68],"problems":[52],"and":[53,70,81,89],"how":[54],"fix":[56,107],"abstractions":[57],"via":[58],"automated":[59,95,116],"debugging.":[60],"We":[61],"propose":[62],"a":[63,67],"prompt":[64],"protocol:":[65],"input":[66],"domain":[69],"training":[71],"tasks":[72],"LLMs,":[74],"prompting":[75],"them":[76],"generate":[78,121],"abstract":[79,83],"features":[80],"further":[82],"the":[84],"initial":[85],"state,":[86],"action":[87],"set,":[88],"goal":[90],"into":[91],"problems.":[93],"An":[94],"debugging":[96],"method":[97],"is":[98],"designed":[99],"detect":[101],"errors,":[103],"guiding":[104],"abstractions.":[108,124],"Experiments":[109],"demonstrate":[110],"under":[112],"properly":[113],"guided":[114],"by":[115],"debugging,":[117],"some":[118],"useful":[122]},"counts_by_year":[],"updated_date":"2026-02-13T13:40:29.240086","created_date":"2026-02-13T00:00:00"}