The Commonplace
Home Papers Evidence Explore Trends Syntheses Digests References Docs 🎲 Workforce Futures
← Papers
Direction, evidence grade, and study type are AI-generated labels (gpt-5-mini), not human-verified. Syntheses are LLM-written. "Tensions" are machine-detected candidates, not confirmed contradictions. A research-acceleration tool, not peer review. How this is built →

A new router, PROTEUS, lets operators set accuracy targets at runtime and reliably meets them, achieving near-oracle accuracy across benchmarks while cutting inference costs by as much as ~90% versus fixed-model deployments; its learned dual-variable approach yields consistent floor compliance and high target-response correlation.

PROTEUS: SLA-Aware Routing via Lagrangian RL for Multi-LLM Serving Systems
Amit Singh Bhatti, Vishal Vaddina, Dagnachew Birru · January 27, 2026
arxiv descriptive medium evidence 7/10 relevance Full text usable extracted full text Source PDF

Structured author observations

Linked only from stored provider relations; the raw author line above is never matched by name.

Arxiv

Latest observation:

  1. Amit Singh Bhatti unresolved corpus identity
  2. Vishal Vaddina unresolved corpus identity
  3. Dagnachew Birru unresolved corpus identity

Semantic Scholar

Latest observation:

  1. A. Bhatti provider ID
  2. Vishal Vaddina provider ID
  3. Dagnachew Birru provider ID
PROTEUS is a learned LLM router that accepts runtime accuracy targets and uses a Lagrangian dual-variable conditioned policy to reliably meet those targets while achieving near-oracle accuracy and large cost reductions across two large benchmarks.

Citation observations

Cumulative provider counts captured on specific dates; providers are never combined.

Production LLM deployments serve diverse workloads where cost and quality requirements vary by customer tier, time of day, and query criticality. Model serving systems accept latency SLOs directly. LLM routers do not. They force operators to tune parameters offline and guess what accuracy might result. The relationship between parameters and outcomes is indirect, non-monotonic, and dataset-dependent. Operators need to specify accuracy targets, not infer them from opaque settings. We present PROTEUS (Polymorphic Router for Operational Target Enforcement with Unified SLA), a router that accepts accuracy targets tau as runtime input. PROTEUS uses Lagrangian dual control. A learned dual variable lambda tracks constraint violations during training and conditions the policy network. This lets the router translate specified tau values into routing decisions that satisfy them. A single trained model serves the full accuracy spectrum without retraining.We evaluate on RouterBench (11 models, 405K queries) and SPROUT (14 models, 45K queries). PROTEUS achieves consistent floor compliance where accuracy meets or exceeds tau. The target-response correlation reaches 0.97 to 0.98. The closest baseline, OmniRouter, meets floors only 22% of the time despite also using Lagrangian optimization. PROTEUS operates across tau in [0.85, 0.95] from a single model. On RouterBench it achieves 90.1% accuracy, within 1.3% of oracle. On SPROUT it achieves 94.0% accuracy, within 4.6% of oracle. Cost savings reach 89.8% versus the best fixed model.

Summary

Main Finding

PROTEUS is a learned LLM router that accepts accuracy targets τ at runtime and reliably enforces them. Using a τ‑conditioned policy trained with learned Lagrangian (dual) control, a single trained model serves a wide accuracy spectrum (τ ∈ [0.85, 0.95]) without retraining and achieves strong cost/accuracy tradeoffs: near‑oracle accuracy (RouterBench: 90.1% vs oracle 91.4; SPROUT: 94.0% vs oracle 98.6), 100% floor compliance (acc ≥ τ) on the benchmarks, very high τ→µ correlation (0.97–0.98), and large cost reductions (up to 89.8% vs best fixed model).

Key Points

  • Operational problem: operators want to specify accuracy SLOs per request (τ) directly; existing routers require offline parameter tuning and do not reliably translate settings to realized accuracy.
  • Core idea: condition the routing policy on τ and enforce the constraint during training via a learned Lagrangian dual variable λ that is injected into the policy. During training λ tracks batch-level accuracy shortfalls and teaches the network how τ maps to a continuous quality preference µ.
  • Continuous quality preference µ ∈ [0,1] (sampled from a Beta policy) decouples “how much to prioritize quality” from model selection. Model selection uses a scoring function: si = pi(x) + µ · bi − (1−µ)^γ · ci where pi(x) is predicted per-model correctness, bi is a per-model quality boost, ci is normalized cost, and γ (learnable, bounded) controls cost sensitivity.
  • Training uses primal‑dual RL (PPO) with session-based τ sampling and fast dual updates (ηλ ≈ 0.4) so the policy learns a stable τ→µ mapping. At inference λ is fixed and τ is the runtime input.
  • Empirical performance:
    • τ–µ Pearson correlation: 0.973 (RouterBench), 0.981 (SPROUT).
    • Floor compliance (acc ≥ τ): 100% on both benchmarks.
    • Close to oracle accuracy: within 1.3% (RouterBench) and 4.6% (SPROUT).
    • Cost savings: up to 89.8% vs best fixed (always‑best) model.
    • Baseline comparison: OmniRouter (another Lagrangian baseline) met floor only 22% of the time on RouterBench; PROTEUS is far more reliable.
  • Architectural choices that matter: DeBERTa‑v3‑small encoder (fast, ≈2ms), Beta output for µ (learnable concentration for exploration), separate performance head for pi(x) (prevents τ from biasing correctness predictions), and learnable non-linear cost weighting γ.

Data & Methods

  • Benchmarks:
    • RouterBench: 405K labeled outcomes across 11 models (open and proprietary), tasks include reasoning (MMLU), math (GSM8K, MATH), coding (HumanEval); costs $0.0001–$0.01/query. Oracle accuracy 91.4%. Evaluated τ ∈ [0.85, 0.91].
    • SPROUT: 45K queries across 14 models (including frontier systems like GPT‑4o), instruction‑following queries with LLM evaluation; costs $0.0001–$0.05/query. Oracle accuracy 98.6%. Evaluated τ ∈ [0.85, 0.95].
  • Model & training details:
    • Query encoder: DeBERTa‑v3‑small → 256‑dim embedding; two heads: performance prediction pi(x) (one sigmoid per model) and τ‑conditioned policy.
    • Policy: 2‑layer MLP mapping (embedding, τ, λ) → Beta(α,β) parameters → µ sample. µ is used with scoring function to choose model.
    • Reward: Lagrangian formulation combining quality weight, cost weight, and λ · (pm∗ − τ). Costs normalized online.
    • Optimization: PPO (policy lr 3e‑4), batch size 32, 10k steps (~4 hours/dataset on one A100), dual updates every 5 batches, dual LR ηλ=0.4.
  • Metrics:
    • Standard routing metrics: accuracy, cost, oracle gap.
    • Adaptability metrics: τ–µ correlation, SLA floor compliance, ±2%/±5% tolerance bands.
    • Efficiency metrics: Routing Efficiency (accuracy gain per ms of routing latency) and Routing Performance Index (RPI) combining accuracy/oracle gap, normalized cost, and router latency.
  • Ablations and baselines: compared to static strategies (Always‑Best, Always‑Cheapest), learned predictors (KNN, MLP), CARROT, RouteLLM style, OmniRouter (Lagrangian baseline). Ablations include no τ conditioning, fixed γ, and no critic.

Implications for AI Economics

  • Direct monetization and tiering: PROTEUS enables platforms to offer explicit accuracy‑bounded service tiers (e.g., economy/standard/premium) that are enforceable at runtime. Operators can price tiers by reliably trading off cost vs. delivered accuracy, enabling more predictable SLAs and product differentiation.
  • Large cost reductions per unit of delivered accuracy: up to ~90% savings relative to always‑using the highest‑accuracy model implies substantial reductions in marginal serving cost, improving margins and enabling lower price points or higher profit per query. This affects providers' pricing strategies and cost pass‑through to customers.
  • Efficient capacity allocation and multi‑tenant economics: SLA‑aware per‑query routing lets providers allocate expensive models selectively to queries/customers that need them, increasing utilization efficiency across tenants and reducing overall compute provisioning requirements (lower peak capacity).
  • Dynamic pricing and surge management: because the router accepts τ at runtime, platforms can combine dynamic pricing with explicit accuracy guarantees (e.g., discounted low‑accuracy slots). During load spikes, operators can enforce lower‑τ tiers to protect capacity, or raise prices for guaranteed high‑τ slots.
  • Competitive dynamics for model vendors: improved routers increase the value of cheaper models (when they can meet a requested τ on many queries), potentially shifting demand toward more cost‑efficient models and changing vendor bargaining power. Conversely, frontier models retain value for high‑τ or hard queries.
  • Contracting and risk allocation: PROTEUS makes accuracy SLOs operationally enforceable, reducing ambiguity in contracts. That can lower dispute costs but also raises the need to precisely define measurement methods, evaluation sets, and treatment for distribution shift or adversarial inputs.
  • Environmental and externality impact: large compute/cost savings imply lower energy usage per delivered accuracy, reducing emissions for inference workloads — a measurable externality relevant to sustainability accounting and carbon pricing.
  • Implementation and operational caveats that affect economics:
    • Training and maintenance costs: the approach requires training the τ‑conditioned policy and periodically re‑training as model pools change or distributions shift; those overheads must be amortized against serving savings.
    • Dependence on good performance predictors: the router relies on accurate pi(x) predictions; miscalibration can create SLA violations or overprovisioning. Monitoring and recalibration costs are economic factors.
    • Model pool dynamics: when models are added/removed or costs change, the router may need retraining or fine‑tuning; frequent model churn raises operational costs.
    • Risk of gaming and metric design: tenants or downstream agents could attempt to manipulate measured accuracy (e.g., adversarial queries, label ambiguity), necessitating careful metric design and auditing, which incur governance costs.
  • Policy & regulatory considerations: PROTEUS can help enforce accuracy guarantees in regulated domains (finance, healthcare) but also necessitates transparent reporting of guarantees and failure modes; regulators may require auditable records of routing decisions, which adds compliance costs.

Limitations & open questions (economic relevance) - Benchmarks supply per‑query correctness labels for many models; in live systems accurate labels are harder to obtain, affecting calibration and long‑run enforcement. - Robustness to distribution shift, adversarial inputs, and model‑pool churn needs further study — economic value depends on reliability under real‑world dynamics. - The abstract assumes cost per query is known and stable; in spot or metered settings (e.g., variable cloud pricing) economics become more complex. - Welfare and fairness: differential routing by tier could disproportionately affect outcomes for lower‑paying users in social or public‑good contexts; pricing/ethical tradeoffs matter.

Bottom line PROTEUS provides a practical, learned mechanism to translate operator‑specified accuracy SLOs into per‑query routing that meets those SLOs while dramatically reducing cost. That capability unlocks more precise product tiering, better capacity utilization, and large cost savings — but realizing those economic benefits requires investing in monitoring, calibration, and governance to manage risks from distribution shift, metric gaming, and model‑pool changes.

Assessment

Paper Typedescriptive Evidence Strengthmedium — The paper presents thorough systems evaluations on two sizable benchmarks (RouterBench and SPROUT) with many models and hundreds of thousands of queries, compares to strong baselines and an oracle, and reports clear metrics (floor compliance, correlation with targets, cost savings). However, results are based on benchmark workloads and offline evaluation rather than field experiments or production A/B tests, so external validity to live, nonstationary production traffic and real economic outcomes (e.g., firm costs, user behavior) is uncertain. Methods Rigorhigh — Technical approach is well-specified (Lagrangian dual control with a learned dual variable conditioning the policy), evaluated across multiple datasets, many model choices, and against baselines including an oracle; key performance metrics are reported (accuracy, floor compliance, correlation, cost savings). Some practical aspects (latency SLO interaction, robustness to distribution shift, live deployment costs) are not fully explored, but within the scope of a systems paper the experimental design is rigorous. SampleEvaluation used RouterBench (11 models, 405,000 queries) and SPROUT (14 models, 45,000 queries); workloads are benchmark query sets across diverse tasks (paper does not report live production traffic or randomized field trials); baselines include OmniRouter and fixed-model deployments; cost comparisons are computed relative to the models in the pool and an oracle. Themesproductivity adoption GeneralizabilityBenchmarked workloads may not reflect production traffic heterogeneity or nonstationarity, Models in the pool (types, sizes, cost/latency profiles) may differ from those used by specific operators, Accuracy metric and tau range ([0.85, 0.95]) may not map cleanly to real customer utility or business SLAs, Latency SLOs and multi-dimensional SLAs (latency, throughput, availability) are not central to evaluation, No field A/B testing reported, so real-world operational and economic impacts are uncertain

Claims (14)

ClaimDirectionOutcomeConfidence & EvidenceDetails
Model serving systems accept latency SLOs directly; LLM routers do not. Organizational Efficiency negative ability to accept SLOs (system capability)
Reading fidelity high
Study strength medium
not reported
0.18
The relationship between router parameters and outcomes is indirect, non-monotonic, and dataset-dependent, forcing operators to tune parameters offline and guess resulting accuracy. Organizational Efficiency negative mapping from parameters to achieved accuracy (predictability of outcomes)
Reading fidelity high
Study strength medium
not reported
0.18
Operators need to specify accuracy targets (tau) at runtime rather than infer them from opaque settings. Organizational Efficiency positive usability of routing controls / operator burden
Reading fidelity high
Study strength speculative
not reported
0.03
PROTEUS is a router that accepts accuracy targets tau as runtime input. Organizational Efficiency positive availability of runtime accuracy-target input
Reading fidelity high
Study strength medium
not reported
0.18
PROTEUS uses Lagrangian dual control with a learned dual variable (lambda) that tracks constraint violations during training and conditions the policy network, enabling translation of specified tau values into routing decisions that satisfy them. Output Quality positive ability to satisfy accuracy constraints (constraint enforcement)
Reading fidelity high
Study strength medium
not reported
0.18
A single trained PROTEUS model serves the full accuracy spectrum without retraining. Output Quality positive coverage of accuracy targets without retraining
Reading fidelity high
Study strength medium
n=450000
0.18
We evaluate PROTEUS on RouterBench (11 models, 405K queries) and SPROUT (14 models, 45K queries). Other positive evaluation datasets and scale
Reading fidelity high
Study strength high
not reported
0.3
PROTEUS achieves consistent floor compliance where achieved accuracy meets or exceeds the specified tau. Output Quality positive floor compliance (achieved accuracy >= tau)
Reading fidelity high
Study strength medium
n=450000
0.18
The target-response correlation (between requested tau and achieved accuracy) reaches 0.97 to 0.98. Output Quality positive correlation between specified tau and achieved accuracy
Reading fidelity high
Study strength medium
n=450000
0.97 to 0.98
0.18
The closest baseline, OmniRouter, meets floors only 22% of the time despite also using Lagrangian optimization. Output Quality negative floor compliance rate (% of tasks where achieved accuracy >= tau) for baseline
Reading fidelity high
Study strength medium
n=450000
22%
0.18
PROTEUS operates across tau in [0.85, 0.95] from a single model. Output Quality positive operational tau range supported without retraining
Reading fidelity high
Study strength medium
n=450000
[0.85, 0.95]
0.18
On RouterBench PROTEUS achieves 90.1% accuracy, within 1.3% of an oracle. Output Quality positive accuracy on RouterBench
Reading fidelity high
Study strength medium
n=405000
90.1% accuracy (within 1.3% of oracle)
0.18
On SPROUT PROTEUS achieves 94.0% accuracy, within 4.6% of an oracle. Output Quality positive accuracy on SPROUT
Reading fidelity high
Study strength medium
n=45000
94.0% accuracy (within 4.6% of oracle)
0.18
Cost savings reach 89.8% versus the best fixed model. Organizational Efficiency positive cost savings vs best fixed model
Reading fidelity high
Study strength medium
n=450000
89.8%
0.18

Notes