{"id":"https://openalex.org/W4414977039","doi":"https://doi.org/10.18653/v1/2026.acl-long.624","title":"Language Model as Planner and Formalizer under Constraints","display_name":"Language Model as Planner and Formalizer under Constraints","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W4414977039","doi":"https://doi.org/10.18653/v1/2026.acl-long.624"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2026.acl-long.624","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.acl-long.624","pdf_url":"https://aclanthology.org/2026.acl-long.624.pdf","source":null,"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 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2026.acl-long.624.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113864893","display_name":"Cassie Huang","orcid":null},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cassie Huang","raw_affiliation_strings":["Drexel University Brown University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Drexel University Brown University","institution_ids":["https://openalex.org/I27804330","https://openalex.org/I72816309"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Stuti Mohan","orcid":null},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stuti Mohan","raw_affiliation_strings":["Drexel University Brown University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Drexel University Brown University","institution_ids":["https://openalex.org/I27804330","https://openalex.org/I72816309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101981209","display_name":"Ziyi Yang","orcid":"https://orcid.org/0009-0002-2605-3111"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ziyi Yang","raw_affiliation_strings":["Drexel University Brown University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Drexel University Brown University","institution_ids":["https://openalex.org/I27804330","https://openalex.org/I72816309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059273574","display_name":"Stefanie Tellex","orcid":"https://orcid.org/0000-0002-2905-4075"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stefanie Tellex","raw_affiliation_strings":["Drexel University Brown University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Drexel University Brown University","institution_ids":["https://openalex.org/I27804330","https://openalex.org/I72816309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009981222","display_name":"Li Zhang","orcid":"https://orcid.org/0000-0002-8125-7187"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Li Zhang","raw_affiliation_strings":["Drexel University Brown University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Drexel University Brown University","institution_ids":["https://openalex.org/I27804330","https://openalex.org/I72816309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01064395,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"13724","last_page":"13756"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.6531999707221985,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.6531999707221985,"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/planner","display_name":"Planner","score":0.8310999870300293},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5026000142097473},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.43650001287460327},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.40450000762939453},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.392300009727478},{"id":"https://openalex.org/keywords/language-planning","display_name":"Language planning","score":0.3864000141620636},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.38100001215934753}],"concepts":[{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.8310999870300293},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6712999939918518},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5026000142097473},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.43650001287460327},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.40450000762939453},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.392300009727478},{"id":"https://openalex.org/C2781281093","wikidata":"https://www.wikidata.org/wiki/Q329499","display_name":"Language planning","level":2,"score":0.3864000141620636},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.38100001215934753},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3799000084400177},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.3467000126838684},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.30709999799728394},{"id":"https://openalex.org/C92548554","wikidata":"https://www.wikidata.org/wiki/Q2262868","display_name":"Domain model","level":3,"score":0.28060001134872437},{"id":"https://openalex.org/C2776187449","wikidata":"https://www.wikidata.org/wiki/Q1513879","display_name":"Natural language generation","level":3,"score":0.27090001106262207},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.2623000144958496}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.18653/v1/2026.acl-long.624","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.acl-long.624","pdf_url":"https://aclanthology.org/2026.acl-long.624.pdf","source":null,"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 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2510.05486","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2510.05486","pdf_url":"https://arxiv.org/pdf/2510.05486","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2510.05486","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.05486","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.18653/v1/2026.acl-long.624","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.acl-long.624","pdf_url":"https://aclanthology.org/2026.acl-long.624.pdf","source":null,"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 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2911446196","display_name":"Decision-Embedded Deep Learning for Transit Systems","funder_award_id":"2409847","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414977039.pdf","grobid_xml":"https://content.openalex.org/works/W4414977039.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"LLMs":[0,59],"have":[1],"been":[2],"widely":[3,71],"used":[4,72],"in":[5,25,63],"planning,":[6],"either":[7],"as":[8,16],"planners":[9],"to":[10,18,51],"generate":[11],"action":[12],"sequences":[13],"end-to-end,":[14],"or":[15],"formalizers":[17],"represent":[19],"the":[20,55,102],"planning":[21,56,73],"domain":[22],"and":[23,46,60,79,96,116],"problem":[24],"a":[26],"formal":[27,94],"language":[28,82],"that":[29,42,101],"can":[30],"derive":[31],"plans":[32],"deterministically.However,":[33],"both":[34],"lines":[35],"of":[36,54,58,104,114],"work":[37],"rely":[38],"on":[39],"standard":[40],"benchmarks":[41,74],"include":[43],"only":[44],"generic":[45],"simplistic":[47],"environmental":[48],"specifications,":[49],"leading":[50],"potential":[52],"overestimation":[53],"ability":[57],"safety":[61],"concerns":[62],"downstream":[64],"tasks.We":[65],"bridge":[66],"this":[67],"gap":[68],"by":[69],"augmenting":[70],"with":[75],"manually":[76],"annotated,":[77],"fine-grained,":[78],"rich":[80],"natural":[81],"constraints":[83,106],"spanning":[84],"four":[85],"formally":[86],"defined":[87],"categories.Over":[88],"4":[89,93,97],"state-of-the-art":[90],"reasoning":[91],"LLMs,":[92],"languages,":[95],"datasets,":[98],"we":[99],"show":[100],"introduction":[103],"one-sentence":[105],"consistently":[107],"halves":[108],"performance,":[109],"indicating":[110],"current":[111],"LLMs'":[112],"lack":[113],"robustness":[115],"an":[117],"avenue":[118],"for":[119],"future":[120],"research.":[121]},"counts_by_year":[],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}