ABSTRAL: Automatic Design of Multi-Agent Systems Through Iterative Refinement and Topology Optimization
Abstract
How should multi-agent systems be designed, and can that design knowledge be captured in a form that is inspectable, revisable, and transferable? We introduce ABSTRAL, a framework that treats MAS architecture as an evolving natural-language document, an artifact refined through contrastive trace analysis. Three findings emerge. First, we provide a precise measurement of the multi-agent coordination tax: under fixed turn budgets, ensembles achieve only 26% turn efficiency, with 66% of tasks exhausting the limit, yet still improve over single-agent baselines by discovering parallelizable task decompositions. Second, design knowledge encoded in documents transfers: topology reasoning and role templates learned on one domain provide a head start on new domains, with transferred seeds matching coldstart iteration 3 performance in a single iteration. Third, contrastive trace analysis discovers specialist roles absent from any initial design, a capability no prior system demonstrates. On SOPBench (134 bank tasks, deterministic oracle), ABSTRAL reaches 70% validation / 65.96% test pass rate with a GPT-4o backbone. We release the converged documents as inspectable design rationale.
Figures & tables
| System | Topology Var.? | Readable Knowledge? | Role Discovery? |
|---|---|---|---|
| DSPy | No | No | No |
| ADAS | Yes | No | No |
| AFlow | Yes | No (code) | No |
| MaAS | Yes | No (neural) | No |
| MASS | Yes | No | No |
| GPTSwarm | Partial | No | No |
| Class | Failure Signature | Target | Example |
|---|---|---|---|
| EC1 | Wrong conclusion, correct info | K | Add domain rule |
| EC2 | Bottleneck or wrong routing | R | Prefer hierarchy for heterogeneous tasks |
| EC3 | One agent, incompatible sub-tasks | T | Create specialist role |
| EC4 | Malformed message / type mismatch | P | Fix interface contract |
| EC5 | Successful pattern, not yet codified | T | Encode reusable heuristic |
| Method | Success % | vs. GPT-4o ∗ | Topology | Search cost |
| Published baselines (FC mode, cited): | ||||
| GPT-4o-mini ∗ | 33.58% | 25.38 | single | — |
| GPT-4o ∗ | 58.96% | — | single | — |
| Claude-3.7-Sonnet ∗ | 65.67% | +6.71 | single | — |
| GPT-4.1 ∗ | 69.40% | +10.44 | single | — |
| o4-mini-high ∗ | 76.87% | +17.91 | single | — |
| Outer | Family | Peak Pass Rate | Roles | Conv. Iter | Discovered Roles |
|---|---|---|---|---|---|
| 1 | Hierarchical | 55% | 5, 8 edges | Auth., Trans., Credit, Currency | |
| 2 | Ensemble | 60% | 6, 8 edges | Auth., Account, Credit, Currency | |
| 3 | Ensemble | 70% | 6, 8 edges | Auth., CreditApp., Admin., FX |
| Outer | Role | Type | Origin |
| O1 | AuthenticationSpecialist | Specialist | EC3: auth failures when manager handled login |
| O1 | TransactionSpecialist | Executor | EC3: deposit/withdrawal parameter errors |
| O1 | CreditCardSpecialist | Specialist | EC3: credit ops mixed with account ops |
| O1 | CurrencySpecialist | Specialist | EC3: FX rate lookup errors |
| O2 | RequestDispatcher | Router | EC2: no delegation in flat ensemble |
| O2 | ResultAggregator | Aggr. | EC3: multi-agent outputs not combined |
| Outer | EC1 | EC2 | EC3 | EC4 | EC5 |
|---|---|---|---|---|---|
| O1 (8 iter) | 10 | 9 | 2 | 17 | 2 |
| O2 (8 iter) | 7 | 17 | 6 | 8 | 2 |
| O3 (8 iter) | 11 | 25 | 1 | 0 | 2 |
| Total | 28 | 51 | 9 | 25 | 6 |
Appendix figures & tables7 assets
Supplementary material from the paper’s appendix.
Appendix
| Signal | Condition | Weight | Rationale |
|---|---|---|---|
| C1: Skill diff | lines changed | 2 | Document has stabilized |
| C2: Pass rate plateau | change for 3 iters | 2 | Performance has plateaued |
| C3: EC collapse | EC1+EC2 of evidence | 1 | No actionable failures remain |
| C4: Complexity | rules | 1 | Document is bloated (triggers consolidation first) |
| Field | Content |
|---|---|
| role_name | [Adjective][Noun] format (e.g., “Unit-Consistency Enforcer”). Generic names rejected. |
| epistemic_stance | {Skeptic, Verifier, Explorer, Synthesizer, Enforcer} |
| system_prompt | Failure mode, domain knowledge excerpts, escalation criteria |
| tool_access | Specific tools (principle of least privilege) |
| birth_trace | Trace ID of the triggering EC3 event |
| interface_contract | Required input/output fields with types (Pydantic-enforced) |
| Family | Structure | When Preferred |
|---|---|---|
| Single | One agent, full tool access | Simple tasks |
| Pipeline | Linear DAG: A B C | Sequential reasoning |
| Ensemble | Fan-out + aggregator | Parallel independent sub-tasks |
| Debate | Two agents + judge (cyclic) | Adversarial verification |
| Hierarchical | Manager specialists (cyclic) | Heterogeneous sub-tasks |
| Dynamic routing | Router conditional branches | Variable complexity |
| O | I | Pass Rate | Family | Agents | Rules | Words |
|---|---|---|---|---|---|---|
| 1 | 1 | 35% | hierarchical | 5 | 60 | 2055 |
| 1 | 2 | 40% | hierarchical | 5 | 70 | 2343 |
| 1 | 3 | 50% | hierarchical | 5 | 75 | 2613 |
| 1 | 4 | 40% | hierarchical | 5 | 81 | 2893 |
| 1 | 5 | 50% | hierarchical | 5 | 83 | 3135 |
| 1 | 6 | 55% | hierarchical | 5 | 52 † | 1370 |
| Outer | Rules (start end) | Words (start end) | Consol. ( ) | Pre Post |
|---|---|---|---|---|
| O1 | 60 56 | 2055 1847 | 0.63 | 83 52 |
| O2 | 45 69 | 861 1821 | 0.64 | 84 54 |
| O3 | 57 66 | 1223 1666 | 0.73 | 75 55 |
| Failure Mode | Mechanism | Mitigation |
|---|---|---|
| Semantic drift | Contradictory rules accumulate | Consolidation every 5 iter. + C4 |
| Synonym collapse | Identical topologies, different names | Dual-criteria repulsion |
| Weak trace signal | Miscalibrated sandbox | Abort if EC1+EC2 |
| Metric | Value |
|---|---|
| Total iterations | 24 |
| Cumulative tokens | 153,959 |
| Cumulative API calls | 480 |
| Avg. tokens per iteration | 6,415 |
| Avg. API calls per iteration | 20 |
| Estimated cost | $5 |
Multi-Agent Systems
Multi-Agent Systems studies how autonomous agents coordinate, compete, communicate, and learn in shared or interdependent tasks.
See all 668 papers