{"id":"https://openalex.org/W7162429907","doi":"https://doi.org/10.48550/arxiv.2605.25233","title":"Meta-Agent: From Task Descriptions to Verified Multi-Agent Systems","display_name":"Meta-Agent: From Task Descriptions to Verified Multi-Agent Systems","publication_year":2026,"publication_date":"2026-05-24","ids":{"openalex":"https://openalex.org/W7162429907","doi":"https://doi.org/10.48550/arxiv.2605.25233"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.25233","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25233","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":"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.2605.25233","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137061549","display_name":"Andy Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Andy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5001987788","display_name":"Yu\u2010Wing Tai","orcid":"https://orcid.org/0000-0002-3148-0380"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tai, Yu-Wing","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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.2093999981880188,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.2093999981880188,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.14579999446868896,"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/T10028","display_name":"Topic Modeling","score":0.05829999968409538,"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/workflow","display_name":"Workflow","score":0.6715999841690063},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5516999959945679},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.45579999685287476},{"id":"https://openalex.org/keywords/directed-acyclic-graph","display_name":"Directed acyclic graph","score":0.4325999915599823},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3571999967098236},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3368000090122223},{"id":"https://openalex.org/keywords/task-analysis","display_name":"Task analysis","score":0.33309999108314514},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.32690000534057617}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8342000246047974},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6715999841690063},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5516999959945679},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.45579999685287476},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.4325999915599823},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.421099990606308},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3571999967098236},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3368000090122223},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.33309999108314514},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.32690000534057617},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3249000012874603},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32440000772476196},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.30640000104904175},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.2849000096321106},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.2818000018596649},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.26980000734329224},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.26910001039505005},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25360000133514404},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.25279998779296875}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.25233","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25233","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":"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.2605.25233","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25233","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":"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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"AI":[0],"agents":[1],"are":[2,121],"increasingly":[3],"used":[4],"to":[5,164],"solve":[6],"complex,":[7],"multi-step":[8],"tasks,":[9],"but":[10],"existing":[11],"multi-agent":[12,55,183,215],"frameworks":[13],"remain":[14],"brittle":[15],"as":[16],"workflows":[17],"grow":[18],"in":[19,191],"scale":[20],"and":[21,36,52,83,96,104,115,153,167,176,185,197,210],"depth.":[22],"Small":[23],"errors":[24],"at":[25],"intermediate":[26,139],"stages":[27],"can":[28],"propagate":[29],"through":[30],"agent":[31,77,133],"interactions,":[32],"while":[33,135],"insufficient":[34],"grounding":[35],"weak":[37],"verification":[38,84,109,137,211],"mechanisms":[39],"further":[40,142],"limit":[41],"reliability.":[42],"We":[43,141,169],"present":[44],"Meta-Agent,":[45],"a":[46,65,69,72,97,127,144],"two-phase":[47],"framework":[48],"that":[49,149],"automatically":[50],"constructs":[51],"executes":[53],"specialized":[54],"systems":[56],"from":[57,161],"natural-language":[58],"task":[59,66,192],"descriptions.":[60],"In":[61,123],"the":[62,124,132,203],"construction":[63],"phase,":[64,126],"planner":[67],"decomposes":[68],"problem":[70],"into":[71],"directed":[73],"acyclic":[74],"graph":[75,134],"of":[76,205],"specifications":[78],"with":[79,93],"explicit":[80],"input/output":[81],"contracts":[82],"criteria.":[85],"A":[86,107],"web":[87],"search":[88],"module":[89,100],"grounds":[90],"each":[91],"specification":[92],"external":[94],"evidence,":[95],"code":[98],"generation":[99],"produces":[101],"system":[102],"prompts":[103],"tool":[105],"configurations.":[106],"construction-time":[108],"stage":[110],"then":[111],"validates":[112],"generated":[113],"artifacts":[114],"triggers":[116],"targeted":[117,157],"regeneration":[118],"when":[119],"failures":[120],"detected.":[122],"execution":[125],"coordinator":[128],"dispatches":[129],"subtasks":[130],"across":[131,172],"execution-time":[136],"gates":[138],"outputs.":[140],"introduce":[143],"three-level":[145],"error":[146,195],"attribution":[147],"mechanism":[148],"distinguishes":[150],"local,":[151],"upstream,":[152],"structural":[154],"failures,":[155],"enabling":[156],"recovery":[158],"strategies":[159],"ranging":[160],"localized":[162],"retries":[163],"partial":[165],"re-execution":[166],"re-decomposition.":[168],"evaluate":[170],"Meta-Agent":[171],"coding,":[173],"contextual":[174],"learning,":[175],"open-ended":[177],"reasoning":[178],"tasks.":[179],"Experiments":[180],"against":[181],"strong":[182],"baselines":[184],"ablation":[186],"studies":[187],"demonstrate":[188],"consistent":[189],"improvements":[190],"success":[193],"rate,":[194],"recovery,":[196],"workflow":[198],"stability.":[199],"The":[200],"results":[201],"highlight":[202],"importance":[204],"tightly":[206],"integrating":[207],"planning,":[208],"grounding,":[209],"for":[212],"building":[213],"reliable":[214],"systems.":[216]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-27T00:00:00"}