Multi-Agent Refinement Problem

• Multi-Agent Refinement Problem is a formal framework where multiple agents iteratively improve a collective solution while ensuring termination, validity, and monotonicity.
• It generalizes traditional distributed consensus by integrating stochastic agent behaviors through protocols like the leader-based Aegean consensus, enhancing collaborative reasoning.
• Quantitative benchmarks demonstrate significant reductions in latency and resource use, confirming the framework’s efficiency in real-world multi-agent AI deployments.

The multi-agent refinement problem formalizes a class of decision-making and reasoning tasks where multiple agents iteratively improve a collective solution via rounds of local computation and coordination, subject to correctness and convergence constraints. This problem generalizes classical notions of distributed consensus and refinement planning to settings with stochastic or context-sensitive agents—particularly LLMs performing collaborative reasoning—requiring rigorous theory and practical protocols to guarantee that the aggregated output is safe, valid, and efficiently computable. Recent work has provided a comprehensive mathematical foundation, set out correctness criteria, and developed scalable protocols for practical deployment (Ruan et al., 23 Dec 2025).

1. Formal Model of Multi-Agent Refinement

Consider a set of $N$ reasoning agents $\mathcal{A} = \{A_1, \dots, A_N\}$ tasked with a problem instance described by a prompt $t$. Each agent $A_i$ maintains a private context $c_i \in C$ and a stochastic reasoning function

$$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$

where $S$ is the set of possible solutions, including reasoning traces. At round $r=0$, each agent outputs $s_i^0 = R_i(c_i, t)$. For $r \ge 1$, the agent updates its answer by processing the consensus set from the previous round: $\mathcal{A} = \{A_1, \dots, A_N\}$0, with the refinement set

$\mathcal{A} = \{A_1, \dots, A_N\}$1

and $\mathcal{A} = \{A_1, \dots, A_N\}$2 is the quorum threshold. The core goal is to produce an output string $\mathcal{A} = \{A_1, \dots, A_N\}$3 at some round $\mathcal{A} = \{A_1, \dots, A_N\}$4 under the following guarantees:

• Termination: A correct agent outputs $\mathcal{A} = \{A_1, \dots, A_N\}$5 in finite time.
• Validity: If $\mathcal{A} = \{A_1, \dots, A_N\}$6 is output, it is at least as good as the best solution held by any majority of agents (w.r.t. a deterministic but unknown quality oracle $\mathcal{A} = \{A_1, \dots, A_N\}$7).
• Monotonicity: Whenever $\mathcal{A} = \{A_1, \dots, A_N\}$8, $\mathcal{A} = \{A_1, \dots, A_N\}$9 are output in order $t$0, then $t$1.

The system interacts only through two message types per round:

• RefmSet: Broadcast of the previous round’s consensus set by a leader
• Refm: Each agent’s response containing its update

The protocol state is specified as the tuple $t$2 (Ruan et al., 23 Dec 2025).

2. Correctness Guarantees: Safety and Liveness

The correctness of multi-agent refinement reduces to classical, yet task-specific, distributed systems requirements under stochastic reasoning:

• Refinement Monotonicity: If $t$3 are consecutive protocol outputs, $t$4 provided that each agent’s refinement function $t$5 never degrades quality.
• Refinement Validity: The refined output $t$6 must match or improve on the best initial solution provided by a majority of agents.
• Termination: With at most $t$7 crash faults in a partially synchronous network, a correct leader gathers the quorum $t$8 in finite time; a stability horizon $t$9 ensures that persistent convergence is detected.

Rigorous proofs establish that, under these assumptions, refinement is monotonic (the output solution quality never decreases), valid (cannot be worse than the best majority agent’s proposal), and terminating (no deadlocks or indecision) (Ruan et al., 23 Dec 2025).

3. The Aegean Consensus Protocol

Aegean is a leader-based, round-oriented protocol parameterized by the quorum $A_i$0 and stability horizon $A_i$1. Each “term” progresses as follows (formalized in LaTeX pseudocode):

1. Leader Election: If no leader is active, elect via Raft-style majority voting.
2. Proposal: Leader broadcasts $A_i$2.
3. Initial Responses: Agents return $A_i$3; leader gathers any $A_i$4 responses $A_i$5.
4. Refinement Rounds: For $A_i$6,
   • Leader broadcasts $A_i$7.
   • Each agent computes $A_i$8 and returns to leader.
   • Upon collecting $A_i$9 responses ($c_i \in C$0), leader identifies a candidate $c_i \in C$1 with at least $c_i \in C$2 votes.
   • If $c_i \in C$3 recurs in the last $c_i \in C$4 rounds, $c_i \in C$5 is output.
   • Otherwise, process continues.

Incremental quorum detection allows early detection of consensus, triggering immediate cancellation of pending computations once a sufficiently stable answer is achieved. Only quorum (not unanimity) is required, filtering out stochastic agent noise. Practical implementations may incorporate semantic answer equivalence tests (e.g., via LLM-judged embeddings) as plugins for answer comparison (Ruan et al., 23 Dec 2025).

4. Quantitative Performance Analysis

Let $c_i \in C$6 be the per-agent latency. In traditional barrier-synchronized settings, round time is $c_i \in C$7; in Aegean, it is the $c_i \in C$8th order statistic $c_i \in C$9. If agent latencies are i.i.d. with mean $$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$0 and heavy-tailed,

$$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$1

leading to a latency reduction factor $$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$2 for $$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$3. Empirical tests on GSM8K, MMLU, AIME, and IMO show:

• Average-case speedup: $$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$4 up to $$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$5
• P99 tail-latency reduction: up to $$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$6
• Token-consumption savings: $$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$7–$$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$8
• Final answer accuracy: within $$R_i : C \times \{\mathrm{strings}\} \rightarrow C \times S$$9 of barrier-synchronized majority vote

The time to finalize after $S$0 rounds is bounded by

$S$1

with $S$2 the time until the $S$3-th fastest reply and negligible protocol overhead $S$4. Most real-world benchmarks converge in $S$5--$S$6 rounds (Ruan et al., 23 Dec 2025).

5. Significance and Relationship to Related Paradigms

The multi-agent refinement problem establishes a rigorous analogy to the distributed consensus problem, but is tailored to stochastic, context-dependent agents that cannot be assumed deterministic or failure-free. Unlike classic consensus (e.g., Paxos, Raft), the refinement protocol:

• Formalizes the role of solution quality via an abstract oracle
• Ensures that quality is non-decreasing and output reflects majority-optimality
• Builds in stochastic tolerance (sampling noise, non-determinism)
• Provides early termination via incremental, non-barrier synchronization

This model addresses fundamental inefficiencies of barrier-style majority voting in LLM and agentic AI orchestration and enables early confidence in high-quality, jointly derived solutions (Ruan et al., 23 Dec 2025).

6. Practical Implementations and Benchmarks

Aegean-Serve, the consensus-aware serving system, implements the protocol in production—leveraging incremental quorum detection and early inference cancellation for both local GPU and commercial API LLM agents. The protocol has been validated on four established mathematical reasoning tasks, demonstrating state-of-the-art efficiency and correctness preservation even under substantial agent variance and failure. These results are robust across diverse deployment environments (Ruan et al., 23 Dec 2025).

7. Theoretical and Broader Impact

By precisely formalizing the multi-agent refinement problem and delivering a practical consensus protocol with provable safety, liveness, and resource-efficiency, this line of work closes the methodological gap between distributed systems consensus and collective machine reasoning. The framework is extensible: it accommodates a wide range of agent types, adversarial or stochastic agent behaviors, and variable quorums. Practical adoption can be expected to drive advances in agentic AI orchestration, multi-agent scientific computing, and distributed large-scale reasoning under uncertainty (Ruan et al., 23 Dec 2025).