{"id":"https://openalex.org/W7140079545","doi":"https://doi.org/10.18653/v1/2026.eacl-long.353","title":"Verification-Aware Planning for Multi-Agent Systems","display_name":"Verification-Aware Planning for Multi-Agent Systems","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7140079545","doi":"https://doi.org/10.18653/v1/2026.eacl-long.353"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2026.eacl-long.353","doi":"https://doi.org/10.18653/v1/2026.eacl-long.353","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.eacl-long.353","pdf_url":"https://aclanthology.org/2026.eacl-long.353.pdf","source":{"id":"https://openalex.org/S4306418011","display_name":"Conference of the European Chapter of the Association for Computational Linguistics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://aclanthology.org/2026.eacl-long.353.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101567372","display_name":"Tianyang Xu","orcid":"https://orcid.org/0000-0003-2941-5771","observed_orcids":["https://orcid.org/0000-0003-2941-5771","https://orcid.org/0000-0002-6035-6899"]},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tianyang Xu","raw_affiliation_strings":["Purdue University , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University , USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130379852","display_name":"Dan Zhang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dan Zhang","raw_affiliation_strings":["Megagon Labs , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Megagon Labs , USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114230565","display_name":"Kushan Mitra","orcid":"https://orcid.org/0009-0007-5898-243X","observed_orcids":["https://orcid.org/0009-0007-5898-243X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kushan Mitra","raw_affiliation_strings":["Megagon Labs , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Megagon Labs , USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056213327","display_name":"Estevam Rafael Hruschka Junior","orcid":"https://orcid.org/0000-0003-1499-2808","observed_orcids":["https://orcid.org/0000-0003-1499-2808"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Estevam Hruschka","raw_affiliation_strings":["Megagon Labs , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Megagon Labs , USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":17.8724,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.98823707,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"7528","last_page":"7546"},"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.8169000148773193,"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.8169000148773193,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.1607999950647354,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.007300000172108412,"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/multi-agent-systems","display_name":"multi-agent systems","score":0.8849999904632568},{"id":"https://openalex.org/keywords/llm-based-agents","display_name":"LLM agents","score":0.8659999966621399},{"id":"https://openalex.org/keywords/agent-cooperation","display_name":"agent cooperation","score":0.5590000152587891},{"id":"https://openalex.org/keywords/task-decomposition","display_name":"task decomposition","score":0.8429999947547913},{"id":"https://openalex.org/keywords/agent-coordination","display_name":"agent coordination","score":0.5170000195503235},{"id":"https://openalex.org/keywords/iterative-refinement","display_name":"iterative refinement","score":0.5519999861717224},{"id":"https://openalex.org/keywords/system-robustness","display_name":"system robustness","score":0.6499999761581421}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46239998936653137},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2702000141143799},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.24699999392032623},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2451999932527542},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.24390000104904175},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.2402999997138977},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.23559999465942383},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.23489999771118164}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.18653/v1/2026.eacl-long.353","doi":"https://doi.org/10.18653/v1/2026.eacl-long.353","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.eacl-long.353","pdf_url":"https://aclanthology.org/2026.eacl-long.353.pdf","source":{"id":"https://openalex.org/S4306418011","display_name":"Conference of the European Chapter of the Association for Computational Linguistics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2510.17109","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2510.17109","pdf_url":"https://arxiv.org/pdf/2510.17109","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2510.17109","doi":"https://doi.org/10.48550/arxiv.2510.17109","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.17109","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,"listed_in":[],"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"}],"best_oa_location":{"id":"doi:10.18653/v1/2026.eacl-long.353","doi":"https://doi.org/10.18653/v1/2026.eacl-long.353","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.eacl-long.353","pdf_url":"https://aclanthology.org/2026.eacl-long.353.pdf","source":{"id":"https://openalex.org/S4306418011","display_name":"Conference of the European Chapter of the Association for Computational Linguistics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers)","raw_type":"proceedings-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7140079545.pdf","grobid_xml":"https://content.openalex.org/works/W7140079545.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4399150944","https://openalex.org/W4415336464","https://openalex.org/W7162664388","https://openalex.org/W4414536845","https://openalex.org/W4405996330","https://openalex.org/W4416034859","https://openalex.org/W7122642664","https://openalex.org/W7127170266","https://openalex.org/W7083693340","https://openalex.org/W4412888844"],"abstract_inverted_index":{"Large":[0],"language":[1],"model":[2],"(LLM)":[3],"agents":[4],"are":[5],"increasingly":[6],"deployed":[7],"to":[8],"tackle":[9],"complex":[10],"tasks,":[11,68],"often":[12],"necessitating":[13],"collaboration":[14,20,61],"among":[15],"multiple":[16],"specialized":[17],"agents.However,":[18],"multi-agent":[19,60,98],"introduces":[21],"new":[22],"challenges":[23],"in":[24,41,82,117],"planning,":[25],"coordination,":[26],"and":[27,72,84,104,114],"verification.Execution":[28],"failures":[29],"frequently":[30],"arise":[31],"not":[32],"from":[33,38],"flawed":[34],"reasoning":[35],"alone,":[36],"but":[37],"subtle":[39],"misalignments":[40],"task":[42],"interpretation,":[43],"output":[44],"format,":[45],"or":[46,125],"inter-agent":[47],"handoffs.To":[48],"address":[49],"these":[50],"challenges,":[51],"we":[52],"present":[53],"VERIMAP":[54,65,88],"1":[55],",":[56],"a":[57],"framework":[58],"for":[59],"with":[62],"verificationaware":[63],"planning.The":[64],"planner":[66],"decomposes":[67],"models":[69],"subtask":[70,78],"dependencies,":[71],"encodes":[73],"planner-defined":[74],"passing":[75],"criteria":[76],"as":[77],"verification":[79],"functions":[80],"(VFs)":[81],"Python":[83],"natural":[85],"language.We":[86],"evaluate":[87],"on":[89,122],"diverse":[90],"datasets,":[91],"demonstrating":[92],"that":[93],"it":[94],"outperforms":[95],"both":[96],"single-and":[97],"baselines":[99],"while":[100],"enhancing":[101],"system":[102],"robustness":[103],"interpretability.Our":[105],"analysis":[106],"highlights":[107],"how":[108],"verification-aware":[109],"planning":[110],"enables":[111],"reliable":[112],"coordination":[113],"iterative":[115],"refinement":[116],"multiagent":[118],"systems,":[119],"without":[120],"relying":[121],"external":[123],"labels":[124],"annotations.":[126]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-03-24T00:00:00"}