---
title: LLM-powered Multi-Agent Systems Overview
url: https://www.emergentmind.com/topics/llm-powered-multi-agent-systems-llm-mas
type: topic
---

# LLM-powered Multi-Agent Systems Overview

LLM-powered multi-agent systems (LLM-MAS) are multi-agent systems in which LLM-based agents interact with each other, humans, and the environment to achieve individual or collective goals, often leveraging external tools and knowledge; recent work further treats them as unified, dynamic socio-technical systems composed of heterogeneous agents interacting through natural language, tools, and environments in open, uncertain settings [2502.01714][2510.14008]. Across current research, LLM-MAS are studied simultaneously as engineering architectures for distributed reasoning, as stochastic or game-theoretic systems of interacting policies, and as safety-critical organizations whose reliability depends on coordination, uncertainty management, security, and governance across the full system lifecycle [2601.15047].

## 1. Conceptual foundations

The contemporary literature defines LLM-MAS at a level broader than prompt-chained role play. In the systems view, agents may be software, robotics, embodied, or human agents, and their interactions are mediated by natural language communication, tool use, memory, and environmental feedback rather than by fixed symbolic protocols alone [2502.01714]. A closely related line of work argues that the central normative property in such systems is not merely local alignment of each agent, but system-level “agreement”: coordinated outputs, collective decisions, unified semantic interpretations, bounded disagreement, and traceable behavior under uncertainty and attack [2510.14008].

A complementary theoretical synthesis organizes LLM-MAS through the four primitives of game theory—players, strategies, payoffs, and information. Under this lens, normal-form games capture static strategic interactions; extensive-form games model turn-taking, message passing, tool calls, and verification loops; Markov or stochastic games model dynamic environments; and Bayesian games model incomplete information about capabilities, preferences, or private context [2601.15047]. This framing is not merely classificatory. It suggests that role assignment, communication protocols, voting rules, debate, auctions, and arbitration are all design choices that instantiate particular information structures and equilibrium-selection mechanisms.

Evaluation theory has also shifted from raw benchmark comparison toward explicit task characterization. A representative proposal models task complexity along two dimensions: depth, the number of sequential reasoning steps, and width, the number of capability-specific micro-operations per step. For a task with per-step success $s(w)$ and depth $d$, the corresponding single-agent and multi-agent success models are
$$
P_{\mathrm{SAS}}(d,w) = [s(w)]^d,
$$
and
$$
P_{\mathrm{MAS}}(d,w;N,r) = r\,[1-(1-s(w))^N]^d,
$$
with relative gain
$$
\Delta(d,w;N,r) = \left(\frac{r\,[1-(1-s(w))^N]}{s(w)}\right)^d - 1.
$$
Under the assumptions used in that analysis, $\Delta$ increases with both depth and width, but the effect is more pronounced with respect to depth [2510.04311]. This suggests that LLM-MAS are not uniformly advantageous; their benefits are conditional on the structure of the task and on the interaction protocol that realizes collective reasoning.

## 2. Architectures and coordination patterns

The canonical LLM-MAS architecture now comprises more than a set of prompted roles. One widely cited target architecture includes an agent layer of heterogeneous role-specialized agents, a tool API layer, a RAG and memory stack, an authenticated and logged communication bus, orchestration for task decomposition and coordination, moderation and governance components, human-in-the-loop interfaces, and end-to-end provenance and monitoring [2502.01714]. Communication topologies are often classified as centralized, decentralized, or layered. In centralized systems, a coordinator decomposes tasks and aggregates outputs; in decentralized systems, peers discuss and vote; in layered systems, analysts, solvers, and validators are arranged hierarchically, with control stratified across levels [2507.04724].

Several frameworks exemplify distinct coordination philosophies. SynergyMAS uses a hierarchical “boss” orchestrator, specialized agents such as Product Manager, Market Research Analyst, Product Designer, and Sales Manager, a Neo4j graph knowledge base, Answer Set Programming via Clingo, a modified Corrective RAG pipeline with Chroma and Tavily, and explicit “My Beliefs” sections to operationalize Theory of Mind [2507.02170]. MAS-GPT reframes MAS construction itself as a generative language task, training an LLM to map a query $x$ to executable Python code $y$ that defines agents, prompts, interactions, and orchestration in a single inference [2503.03686]. X-MAS replaces homogeneous backbones with heterogeneous LLM assignments per role and domain-function combination, showing that model diversity can be injected without changing the underlying MAS topology [2505.16997].

A more recent family of systems centers on adaptation after deployment. MASFly constructs task-specific operation procedures at test time by retrieving prior successful collaboration patterns from an SOP repository and supervising execution with a global Watcher agent backed by a personalized experience pool [2602.13671]. MAS$^2$ introduces a “generator-implementer-rectifier” tri-agent meta-system that first architects a workflow template, then assigns concrete backbones to roles, and finally patches or recomposes the downstream MAS when failures or budget overruns are detected [2509.24323]. Meta-Team, in turn, treats the MAS itself as an evolving organization: it preserves each agent’s local execution context, coordinates post-task communication, and updates the system at three scales—agent behavior, pairwise coordination, and team-level organization—through collaborative self-evolution [2605.29790].

Homogeneous architectures remain important because they isolate coordination effects. SIMAS, a Sequential Iterative Multi-Agent System, fixes all agents to the same base LLM and same parameters, introduces diversity only through agent profiles, and lets agents speak sequentially over a fixed number of rounds before the first agent synthesizes the final answer. This minimalist design is used to study how performance scales as the number of agents increases when heterogeneity is held constant [2606.00655].

## 3. Formal models, learning, and optimization

Formalization efforts in LLM-MAS span executable program synthesis, reinforcement learning, constrained combinatorial optimization, and controlled stochastic processes. MAS-GPT represents an MAS as executable code and optimizes a supervised objective
$$
L(\theta) = -\sum_{i=1}^N \sum_{t=1}^{|y_i|} \log p_\theta(y_{i,t}\mid x_i, y_{i,<t}),
$$
where the output includes a reasoning paragraph and Python code implementing the system. The resulting generator can produce query-adaptive MASes with a single LLM call for the design phase [2503.03686].

From a cooperative control perspective, LLM collaboration has been formulated as a Dec-POMDP. MAGRPO treats agents as decentralized policies over local histories, uses strictly joint rewards, and replaces centralized critics with group-relative advantage estimation. Its central estimator is
$$
\widehat{A}^{(g)}_t =
\frac{R^{(g)}_t - \frac{1}{G}\sum_{g=1}^{G}R^{(g)}_t}
{\sigma(R^{(g)}_t)},
$$
with PPO-style clipped updates for each agent policy [2508.04652]. The intent is to preserve centralized training signals while avoiding value-function architectures that scale poorly to massive language action spaces.

Optimization-based coordination has also been pushed further. SGTO-MAS formulates secure agent selection as a constrained binary optimization problem over a candidate pool, with a total objective that combines attack suppression benefit, trust, compatibility, historical quality, collective intelligence, hallucination risk, tool misuse risk, data leakage risk, computational cost, groupthink penalties, and role-balance penalties. Its full fitness is
$$
F_{\text{total}}(x) = \alpha\,\mathrm{ASB} + \beta\,\mathrm{TR} + \gamma\,\mathrm{CR} + \eta\,\mathrm{QA} + \rho\,\mathrm{CI}
- \delta\,\mathrm{HR} - \epsilon\,\mathrm{TMR} - \zeta\,\mathrm{DL} - \kappa\,\mathrm{LC} - \varphi\,\mathrm{GT} - \chi\,\mathrm{RB},
$$
and candidate subsets are optimized by a risk-aware variant of Gorilla Troops Optimization [2606.07940].

In simulation settings, LLM-MAS have been cast as controlled Markov chains with decision-dependent uncertainty. One service-operations framework embeds the design vector $x$ directly into agent prompts, treats the resulting interaction dynamics as a kernel $P_x$, and optimizes a steady-state objective
$$
f(x) = E_{\xi\sim \mu_x}[F(x;\xi)].
$$
Its on-trajectory learning algorithm uses zeroth-order smoothing and updates
$$
x_{k+1} = \Pi_\Theta(x_k - \eta_k G_k),
$$
thereby constructing gradient estimates and improving design parameters on a single evolving simulation trajectory [2604.04383].

Automatic design has also moved from topology search toward reasoning-module search. ARM defines a step-generator $m: Q \times P^* \to P$ and a meta-policy $\pi: Q \times M \to A$, then discovers both by reflection-guided tree search over code. The central claim is that optimizing the atomic reasoning step—an agentic generalization of Chain-of-Thought—can outperform task-specific rediscovery of full architectures and generalize across tasks and backbones without per-domain redesign [2510.05746].

## 4. Agreement, uncertainty, and lifecycle governance

A central position in the recent literature is that responsibility in LLM-MAS cannot be reduced to per-agent RLHF, SFT, or similar local alignment mechanisms. Because inter-agent interactions create emergent conflicts, knowledge asymmetries, and cascading uncertainties, responsibility must be treated as a lifecycle-wide property spanning design, development, deployment, and maintenance or retirement [2510.14008]. In this formulation, responsibility has three coupled dimensions: agreement, uncertainty, and security.

Agreement extends alignment to the system level. One formalization defines pairwise disagreement between agents $i$ and $j$ as
$$
D_{ij} = D_{\mathrm{KL}}\!\left(p_i(\cdot\mid x)\,\Vert\,p_j(\cdot\mid x)\right),
$$
and system-wide agreement as
$$
S_{\mathrm{agree}} = 1 - \frac{2}{N(N-1)}\sum_{i<j} d\big(M(o_i),M(o_j)\big).
$$
A system is then verifiably coherent when disagreement is bounded, uncertainty remains below threshold, and provenance-complete decision traces are available for audit [2510.14008].

Uncertainty is treated as both an internal and relational property. Agent-level uncertainty may be measured by predictive entropy,
$$
H_i = -\sum_y p_i(y\mid x)\log p_i(y\mid x),
$$
and aggregated to the system level through
$$
U_{\mathrm{sys}} = \frac{1}{N}\sum_{i=1}^{N} H_i
+ \lambda \frac{2}{N(N-1)}\sum_{i<j} D_{ij}.
$$
Conformal prediction is proposed as a way to constrain collective decisions to acceptable risk levels:
$$
\mathbb{P}\left(Y \in \Gamma_{\alpha}(X)\right) \ge 1-\alpha.
$$
Associated engineering mechanisms include calibration metrics such as Brier score and expected calibration error, disagreement detection, entropy-based routing, abstention rules triggered when $H_i>\eta$ or $D_{ij}>\delta$, and human escalation when uncertainty exceeds policy thresholds [2510.14008].

Governance is correspondingly dual-perspective. Interdisciplinary design combines domain knowledge, regulation, and technical specification; human–AI collaborative oversight assigns routine monitoring to AI moderators and exceptional adjudication to human moderators [2502.01714]. Operational artifacts include checklists, model cards, system cards, provenance chains, logs, risk registers, decision records, and incident reports. In the stronger governance formulation, boards or regulators define acceptance criteria and risk thresholds; developers implement agreement, uncertainty, and security mechanisms; evaluators run pre- and post-deployment validation; and monitors or incident-response teams handle runtime oversight, triage, containment, and remediation [2510.14008]. The result is a conception of LLM-MAS as auditable socio-technical systems rather than as collections of individually aligned black boxes.

## 5. Security, vulnerability, and adversarial behavior

Security research on LLM-MAS has converged on a broad threat surface that includes user inputs, individual agent internals, role profiles, tool chains, inter-agent messages, trust management, environment manipulation, and shared memory. A unifying attacker objective has been proposed as
$$
\arg\max_{S\in \Theta_S} Evaluator(S_{MA}, Q, G),
$$
where $S$ ranges over system components the attacker can influence, $\Theta_S$ encodes capability constraints, and $G$ denotes goals such as harmful behavior, resource exhaustion, performance degradation, or privacy leakage [2506.01245]. The key claim is compositional: because one agent’s output becomes another’s input, vulnerabilities cascade in ways absent from single-agent systems.

Communication channels have emerged as a particularly severe point of failure. The Agent-in-the-Middle attack manipulates inter-agent messages without altering agent internals, tools, or external databases. Across AutoGen, CAMEL, MetaGPT, ChatDev, and multiple communication topologies, the reported targeted attack success rate exceeds 40% in all settings and often exceeds 70%; chain structures are the most vulnerable, and for denial-of-service objectives 23 of 32 cells exceed 80% ASR [2502.14847]. The empirical pattern is that persuasive, role-consistent instructions embedded in expected message formats are often sufficient to compromise downstream reasoning, code generation, or refusal behavior.

Another line studies covert, intention-hiding malicious agents. Four representative paradigms are identified: Suboptimal Fixation, Reframing Misalignment, Fake Injection, and Execution Delay. These agents maintain cooperative-seeming, role-consistent behavior while steering the group toward inferior outcomes, tangential objectives, false premises, or inflated coordination costs [2507.04724]. Their effects depend on topology: decentralized systems show the largest accuracy declines in generative tasks, layered systems are the most robust, and Execution Delay is hardest to detect because it resembles conscientious thoroughness. AgentXposed addresses this through HEXACO-based baseline profiling, deviation monitoring, and Reid-style progressive interrogation, with layered F1 values including 80.52 for Suboptimal Fixation and 70.34 for Execution Delay [2507.04724].

The broader responsibility literature treats such attacks as part of a continuous security dimension that includes collusion, poisoning through RAG and context windows, jailbreaking across modalities, wormhole and denial-of-service attacks, and covert signaling. The resulting prescription is runtime provenance monitoring, dependency tracking, guardrails, access control, sandboxing, agent isolation, secure communication, randomized smoothing for certified robustness, and machine unlearning for contaminated representations [2510.14008]. A plausible implication is that security in LLM-MAS cannot be reduced to static prompt hardening or training-time filtering; it must be embedded in communication, tool governance, verification, and runtime intervention.

## 6. Empirical regimes, applications, and scaling behavior

Empirical work shows that LLM-MAS effectiveness is highly regime-dependent. Controlled studies of task complexity indicate that multi-agent gains over single-agent systems rise with both depth and width, with the effect more pronounced for depth [2510.04311]. By contrast, controlled studies of homogeneous teams show that performance does not scale monotonically with agent count. In SIMAS, larger base models such as Llama-3.1-70B and Qwen2.5-72B often exhibit an inverted-U relationship in which performance improves up to a task-dependent peak and then declines as coordination overhead dominates; smaller 7B–8B models commonly degrade as agents are added and are therefore not “sufficiently driven” [2606.00655]. Token-padding controls further show that the degradation stems from coordination overhead rather than merely from long-context failure [2606.00655].

Heterogeneity and adaptation can materially change this picture. X-MAS-Bench evaluates 27 LLMs across 5 domains, 21 test sets, and 5 MAS-related functions over more than 1.7 million evaluations, and uses the resulting capability landscape to assign different backbones to different roles [2505.16997]. In a chatbot-only MAS scenario, the heterogeneous configuration yields up to 8.4% performance improvement on the MATH dataset; in a mixed chatbot-reasoner scenario, it yields a 47% performance boost on the AIME dataset [2505.16997]. MASFly pushes this further through retrieval-augmented SOP instantiation and execution-time supervision, reporting a 61.7% final pass rate on TravelPlanner Sole-Planning and top performance on GAIA and coding benchmarks [2602.13671]. Meta-Team emphasizes post-task collective learning rather than only test-time adaptation, and reports an average score of 62.7 across nine benchmark columns, exceeding both hand-crafted MAS and MASFly in its evaluation suite [2605.29790].

Application-specific studies show that LLM-MAS are already used as more than generic reasoning ensembles. In data-marketplace simulation, buyer and seller agents plan, search, price, purchase, analyze, update, and exit under budgets, trends, and entry dynamics; over 40 steps the reported system includes 1,149 buyers, 1,144 sellers, 3,014 transactions, and 401 unique traded datasets, and reproduces long-tail demand and scale-free buyer–seller network structure more faithfully than traditional approaches [2511.13233]. In service-operations optimization, LLM agents are embedded in a controlled Markov simulator whose design variables enter prompts directly, and on-trajectory zeroth-order learning outperforms black-box optimization and prompt-only baselines in sustainable supply chain and contest-design settings [2604.04383]. In autoformalization, MASA combines drafting agents, theorem-prover-based hard critique, LLM-based soft critique, refinement agents, and retrieval tools; its iterative self-refinement system reaches 35.25% and 61.89% of outputs that are both syntactically correct and semantically aligned for Qwen2.5-7B and GPT-4.1-mini, respectively [2510.08988].

These results collectively indicate that empirical success depends less on the mere existence of multiple agents than on the interaction between task structure, topology, model capability, role assignment, verification, and adaptation. The literature therefore no longer treats LLM-MAS as a single method class with monotonic scaling, but as a family of organizational designs whose advantages emerge only under particular coordination regimes.

## 7. Open problems and research directions

Several unresolved problems recur across the literature. Formal verification remains difficult because current formal methods for LLMs face scalability and interpretability limits, prompting proposals for interactive proof protocols, neural-symbolic hybrids, and semantic uncertainty measures that go beyond purely probabilistic confidence [2510.14008]. Safety evaluation remains fragmented: vulnerability analyses call for LLM-MAS-specific benchmarks that vary communication topology, role design, tool assignments, and protocol choices under explicit black-box, gray-box, and white-box threat models [2506.01245]. Game-theoretic surveys similarly highlight the lack of standardized, reproducible benchmarks spanning cooperation, competition, and mixed-motive interaction [2601.15047].

Adaptation and learning remain open at multiple time scales. MASFly identifies heuristic intervention timing and repository coverage as current bottlenecks, and calls for learned Watcher policies and more scalable retrieval over collaboration patterns [2602.13671]. Meta-Team points to the need to couple scaffold-level evolution with parameter-level learning such as fine-tuning or reinforcement learning, and to extend evolution beyond prompts and organization into tool APIs, memory backends, and verifier infrastructure [2605.29790]. MARL-based approaches argue that joint-reward training can produce genuine cooperation, but larger heterogeneous teams, longer horizons, richer memory, and tool-mediated interaction remain underexplored [2508.04652].

Finally, a recurring methodological implication is that LLM-MAS should be designed and evaluated as organizations rather than as bundles of prompts. Agreement must be quantified at the collective level, uncertainty must be propagated and calibrated across interactions, security must be enforced at the level of messages, tools, and provenance, and performance claims must be conditioned on task depth, width, topology, and base-model capability [2510.04311][2510.14008]. The emerging field is therefore moving toward a synthesis of orchestration, statistical learning, formal assurance, and socio-technical governance as the defining framework for LLM-powered multi-agent systems.

Source: https://www.emergentmind.com/topics/llm-powered-multi-agent-systems-llm-mas