2026-01-05 | Massachusetts Institute of Technology, Peking University, Alibaba Group | 2504.11320
M=8P=10I=8
This paper formulates LLM inference as a multi-stage stochastic scheduling problem, introducing 'Nested WAIT'—a threshold-based algorithm that handles unknown output lengths by letting prompts classify themselves as they survive into deeper decode se...
This paper formulates LLM inference as a multi-stage stochastic scheduling problem, introducing 'Nested WAIT'—a threshold-based algorithm that handles unknown output lengths by letting prompts classify themselves as they survive into deeper decode segments. Unlike heuristic baselines (vLLM, Sarathi), they provide rigorous asymptotic optimality proofs and high-probability bounds against memory overflow, validated on A100 simulations. The key takeaway is the 'nested segment' mechanism: instead of predicting job size, structure the queue so short jobs exit early and long jobs naturally migrate to lower-priority/protected tiers, effectively decoupling the memory risk. We should immediately evaluate this threshold logic for our GPUSched formulations, as it likely outperforms our current predictive or FCFS approaches for handling KV cache growth.
2026-02-08 | Massachusetts Institute of Technology, Alibaba Group | 2601.21008
M=9P=8I=9
Ao et al. introduce a framework for iterative OR model debugging that trains an 8B model using Group Relative Policy Optimization (GRPO) and a Process Reward Model (PRM) to outperform GPT-4o-mini. They utilize Gurobi's Irreducible Infeasible Subsyste...
Ao et al. introduce a framework for iterative OR model debugging that trains an 8B model using Group Relative Policy Optimization (GRPO) and a Process Reward Model (PRM) to outperform GPT-4o-mini. They utilize Gurobi's Irreducible Infeasible Subsystem (IIS) not just as text feedback, but as a dense reward signal (IIS size reduction) for the PRM, achieving a 95.3% recovery rate versus 86.2% for frontier APIs. Key Takeaway: We should steal their PRM construction method—specifically using solver diagnostics (like IIS reduction or compiler error counts) as dense step-level rewards—and their 'faithfulness penalty' to prevent overfitting in our evolutionary search. This is a direct validation of RLVR (Reinforcement Learning with Verifiable Rewards) for OR, proving it superior to large-scale prompting.
2025-03-05 | Carnegie Mellon University | 2406.01566
M=8P=9I=8
Helix formulates distributed LLM serving on heterogeneous clusters as a max-flow problem, using MILP to optimize model placement and deriving a per-request weighted round-robin scheduler from the flow solution. Unlike standard static pipeline paralle...
Helix formulates distributed LLM serving on heterogeneous clusters as a max-flow problem, using MILP to optimize model placement and deriving a per-request weighted round-robin scheduler from the flow solution. Unlike standard static pipeline parallelism, it routes every request dynamically based on edge capacities, achieving up to 3.3x throughput gains over Swarm on mixed GPU clusters (L4/T4/A100). The results are rigorous, backed by both physical cluster experiments and high-fidelity simulations. The critical takeaway is the 'per-request pipeline' abstraction: decoupling request routing from static device assignment allows exact OR methods to maximize utilization of weaker hardware—a technique we should immediately evaluate for our GPUSched project.
2026-02-07 | Massachusetts Institute of Technology, Stanford University | 2602.07663
M=8P=9I=8
The authors introduce a 'switching-aware' primal-dual framework for joint configuration selection (e.g., quantization, parallelism) and admission control, demonstrating that dynamically mixing configurations allows for higher resource utilization tha...
The authors introduce a 'switching-aware' primal-dual framework for joint configuration selection (e.g., quantization, parallelism) and admission control, demonstrating that dynamically mixing configurations allows for higher resource utilization than any single fixed configuration. Results are rigorous, backed by $\tilde{O}(\sqrt{T})$ regret bounds and experiments on Alibaba cluster traces where the method achieves ~97% competitive ratio (vs. ~85% for greedy). The key takeaway is the 'switching-aware fluid oracle' concept: our resource allocation models for LLM serving must optimize over the convex hull of configurations (mixing CPU-heavy and Mem-heavy setups) rather than searching for a single static optimum. We should adapt their saddle-point formulation for the GPUSched project to handle heterogeneous resource constraints more effectively.
2025-07-21 | Harbin Institute of Technology, Huawei Noah’s Ark Lab, Nanyang Technological University | 2507.15615
M=8P=9I=8
DHEvo introduces a 'data-algorithm co-evolution' framework that iteratively evolves heuristic code while simultaneously filtering the training instance set to retain only 'representative' instances (those where current heuristics perform well/stably)...
DHEvo introduces a 'data-algorithm co-evolution' framework that iteratively evolves heuristic code while simultaneously filtering the training instance set to retain only 'representative' instances (those where current heuristics perform well/stably). Empirical results on SCIP diving heuristics show it outperforms FunSearch and EoH by ~60% on Setcover while significantly reducing performance variance, validating the claim that dynamic data curation prevents overfitting. The key takeaway is the counter-intuitive curriculum strategy: rather than training on the hardest instances, filtering for instances with 'regular' feasible regions (high fitness) stabilizes the evolutionary search for code. We should immediately test this dynamic instance filtering in AlgoEvo to improve sample efficiency and generalization.
The authors solve the Optimal Transport Linear Program (OTLP) for multi-draft speculative sampling by reducing it to a convex minimization problem using polymatroid theory and max-flow, rather than using slow general LP solvers. They prove this 'Glob...
The authors solve the Optimal Transport Linear Program (OTLP) for multi-draft speculative sampling by reducing it to a convex minimization problem using polymatroid theory and max-flow, rather than using slow general LP solvers. They prove this 'Global Resolution' algorithm is exact for i.i.d. drafts and achieves >90% acceptance with negligible overhead (<100ms), running 10,000x faster than baselines. Key Takeaway: The reduction of a discrete token selection problem to a convex optimization problem via polymatroids is a brilliant theoretical trick we could potentially adapt for selecting diverse solution subsets in AlgoEvo. This is a definitive 'OR for LLM infra' paper that obsoletes heuristic verification strategies.
2026-02-03 | The Hong Kong University of Science and Technology | 2602.02987
M=8P=9I=7
Lin et al. formulate LLM inference scheduling as a multiclass many-server queueing network, deriving a 'Gate-and-Route' policy from a steady-state fluid LP that explicitly manages prefill-decode contention. Calibrated on A100s, their approach proves ...
Lin et al. formulate LLM inference scheduling as a multiclass many-server queueing network, deriving a 'Gate-and-Route' policy from a steady-state fluid LP that explicitly manages prefill-decode contention. Calibrated on A100s, their approach proves that separating prefill admission (via occupancy tracking) from decode routing (work-conserving) eliminates decode backlogs and maximizes revenue. Key Takeaway: The decomposition of scheduling into 'static planning' (solving an LP for target occupancies) and 'dynamic control' (a simple gate tracking those targets) is a scalable alternative to online combinatorial optimization for your GPUSched work. It mathematically formalizes the intuition that prefill is the bottleneck and decode should be kept strictly critical but not backlogged.
2026-02-04 | Max Planck Institute for Software Systems | 2602.04431
M=8P=8I=8
MaMa automates the design of multi-agent systems by formulating the problem as a Stackelberg Security Game: a Meta-Agent evolves system architectures (tools, communication graphs) while a Meta-Adversary iteratively optimizes worst-case agent compromi...
MaMa automates the design of multi-agent systems by formulating the problem as a Stackelberg Security Game: a Meta-Agent evolves system architectures (tools, communication graphs) while a Meta-Adversary iteratively optimizes worst-case agent compromises to break them. Empirical results on the BAD-ACTS benchmark show this adversarial co-evolution reduces attack success rates from ~50% (static baselines) to ~15-25% without degrading task quality. The critical takeaway is the implementation of an adversarial co-evolution loop within the architecture search—optimizing the 'threat' alongside the 'solution'—which directly addresses the robustness objectives in our RobustMAS project. We should implement this 'Meta-Adversary' concept to stress-test our evolved algorithms during the search phase rather than post-hoc.
2025-11-12 | Microsoft, University of Illinois Urbana-Champaign, Georgia Institute of Technology, Indian Institute of Science | 2502.14617
M=7P=9I=8
SageServe optimizes LLM inference resource allocation across regions using an Integer Linear Programming (ILP) model coupled with ARIMA-based traffic forecasting, specifically targeting mixed interactive and non-interactive workloads. They validate t...
SageServe optimizes LLM inference resource allocation across regions using an Integer Linear Programming (ILP) model coupled with ARIMA-based traffic forecasting, specifically targeting mixed interactive and non-interactive workloads. They validate this on real Microsoft O365 production traces (which they release), demonstrating a 25% reduction in GPU hours and $2.5M/month savings compared to reactive baselines. The primary value for us is the release of the production workload traces—allowing us to benchmark our 'GPUSched' formulations against real-world data rather than synthetic distributions—and their specific ILP formulation for unified capacity management, which directly competes with our internal OR models.
Wen et al. introduce '3D-Learning,' a framework that replaces analytic ambiguity sets (Wasserstein/KL) in Distributionally Robust Optimization (DRO) with a diffusion model trained via PPO to generate worst-case scenarios. Applied to LLM resource prov...
Wen et al. introduce '3D-Learning,' a framework that replaces analytic ambiguity sets (Wasserstein/KL) in Distributionally Robust Optimization (DRO) with a diffusion model trained via PPO to generate worst-case scenarios. Applied to LLM resource provisioning, they claim ~40-50% regret reduction on OOD Azure traces compared to standard DRO, though training computational cost is high (6.8GB memory vs 35MB). The critical takeaway is the methodology of parameterizing the ambiguity set with a generative model to find 'realistic' adversarial edge cases that respect the data manifold, solving the support shift issue of KL-DRO. We should steal this 'generative ambiguity set' concept for benchmarking our heuristics in RobustMAS and AlgoEvo.
Research Front Landscape
4 active fronts | 37 new papers
Integer Programming and Queueing for Disaggregated and Distributed LLM Serving
Inst:University of Cambridge 33% · Indian Institute of. 33% · Peking University 17% · Shanghai Jiao Tong. 17%
This research front unifies the application of Operations Research (OR) techniques, primarily Integer Linear Programming (ILP), Mixed Integer Linear Programming (MILP), and queueing theory with stochastic control, to optimize resource allocation and scheduling in complex Large Language Model (LLM) serving environments. These advanced environments include disaggregated serving frameworks like Dynamo, geographically distributed inference systems such as Petals, specialized placement for Mixture-of-Experts (MoE) models, cloud data centers with forecast-aware auto-scaling (SageServe), and bi-level optimized cascade serving (Cascadia). The core theme is leveraging formal OR models to systematically address the NP-hard optimization challenges inherent in these sophisticated LLM serving architectures, moving beyond heuristic approaches.
Key contributions demonstrate significant quantitative improvements across various facets of LLM serving. Dynamo achieved 67-340% average SLO attainment improvement through ILP-based offline deployment and adaptive routing. Lin et al. developed a multiclass many-server queueing network model with a fluid approximation and LP-based 'Gate-and-Route' policy, proving effective for prefill-decode contention. The Petals framework saw 60-80% latency reduction using a decomposed MILP heuristic for joint block placement and request routing. For MoE inference, ILP-based expert placement reduced network hops by up to 39.1% with a load-aware objective. SageServe, combining ILP with ARIMA forecasting, delivered 25% GPU-hours savings and $2.5M/month savings on real Microsoft O365 traces. Finally, Cascadia's bi-level optimization (MILP + Chebyshev) yielded 2.3x average throughput gains for cascade serving. These results underscore the efficacy of OR in enhancing LLM inference performance and cost-efficiency.
This front is rapidly emerging, driven by the escalating scale and complexity of LLM serving infrastructure. The consistent and successful application of ILP/MILP and queueing theory across diverse problem settings indicates a maturing methodology for applying OR to this domain. The trajectory suggests that future research will focus on integrating these OR solutions into more comprehensive, dynamic, and adaptive systems, addressing the limitations of current static or heuristic approaches. Expect to see more sophisticated modeling of real-world constraints, such as heterogeneous hardware, dynamic and multi-tenant workloads, and multi-objective optimization, as the field progresses towards fully autonomous and optimized LLM serving platforms.
Inst:Baidu Inc. 33% · Carnegie Mellon University 33% · Massachusetts Institute of. 33% · Peking University 33%
This research front unifies advanced operations research techniques for optimizing large language model (LLM) inference and serving. It specifically explores Staggered Batch Scheduling (SBS) for co-optimizing time-to-first-token (TTFT) and throughput in DP+EP architectures, max-flow problem formulations for distributed LLM serving over heterogeneous GPUs and networks, and fluid dynamics approximation with threshold-based online scheduling for memory-constrained environments. The common thread is the application of rigorous OR methods to address the complex resource allocation and scheduling challenges inherent in modern LLM serving.
Key contributions include Staggered Batch Scheduling (SBS) which reduces TTFT by 30-40% and improves overall throughput by 15-20% on DeepSeek-V3 workloads by enforcing buffering windows and using IQR-aware lexicographical decode scheduling. Helix formulates distributed LLM serving on heterogeneous clusters as a max-flow MILP, achieving up to 3.3x decode throughput over Swarm on LLaMA 70B by dynamically routing requests based on edge capacities. Furthermore, the 'Nested WAIT' algorithm, based on fluid dynamics approximation, provides asymptotic optimality proofs and high-probability bounds against memory overflow for online LLM scheduling, outperforming heuristic baselines like vLLM and Sarathi.
This front is emerging, driven by the increasing scale and complexity of LLM serving infrastructure. The papers demonstrate a clear shift towards more rigorous, theoretically-backed OR formulations over purely heuristic approaches. The trajectory suggests that future work will focus on integrating these diverse advanced scheduling techniques, scaling MILP solutions for larger clusters, and adapting fluid-guided methods to multi-GPU and highly dynamic environments, while also developing analytical frameworks for up-to-date LLM inference models.
Inst:University College London 50% · University of Basel 50% · Ulsan National Institute. 50% · University of Warwick 50%
This research front explores the application of game theory and robust optimization to achieve inference-time alignment and controlled decoding for Large Language Models (LLMs). Specifically, it encompasses frameworks like Robust Multi-Objective Decoding (RMOD) and the Safety Game, which formulate LLM decision-making as zero-sum games to balance conflicting objectives such as helpfulness, safety, and truthfulness.
Key contributions include the Robust Multi-Objective Decoding (RMOD) framework, which formulates multi-objective decoding as a zero-sum game solvable via convex optimization, demonstrating gains of +1.2% WCWR on LLM-as-Judge and +0.17 worst-case reward on HH benchmarks. Concurrently, the Safety Game introduces a novel game-theoretic formulation for black-box LLM agent alignment, employing an LP solver at inference time to balance safety and helpfulness. This approach achieved up to a two-fold improvement in accuracy on SafetyBench, outperforming baselines in 11 of 15 test cases by guaranteeing that stochastic policies are no worse than a safe fallback.
This front is emerging, showcasing novel applications of operations research techniques like game theory and robust optimization to critical LLM challenges at inference time. The trajectory suggests a move towards more sophisticated, dynamic control mechanisms for LLM behavior. The next likely paper will focus on extending these robust game-theoretic frameworks to handle sequential dialogues, a larger number of objectives, or dynamically tune trade-off parameters in real-time.
Inst:Mohamed bin Zayed. 50% · New York University 50% · RIKEN AIP 50% · Institute of Science. 50%
This research front explores advanced optimization techniques for Large Language Model (LLM) inference, focusing on enhancing efficiency and throughput. One key direction involves applying Bayesian adaptive sampling for majority voting in LLM ensembles, aiming to reduce test-time compute while maintaining accuracy. Concurrently, another significant contribution introduces predictive prefetching and dynamic load balancing for Mixture-of-Experts (MoE) models, specifically through the PROBE framework, to optimize inference performance.
Paper [1] introduces a Bayesian adaptive stopping criterion for majority voting, leveraging Dirichlet process priors and Bayes factors to reduce test-time compute by 2-5x for LLM reasoning tasks on benchmarks like AIME2025. It also formulates LLM ensemble optimization as a Mixed-Integer Linear Program (MILP), showing superior performance (e.g., 93.3% accuracy vs 90.0% for single LLMs). Paper [2] presents PROBE, a framework for MoE inference optimization that employs Continuous Lookahead Pipelining and predictive prefetching. PROBE demonstrates significant performance gains, achieving a 1.32x speedup in prefill latency with SGLang and 1.26x higher decoding throughput compared to DeepSeek-EPLB on large MoE models.
This front is clearly emerging, showcasing novel applications of Operations Research and AI techniques to critical LLM inference challenges. The trajectory suggests a focus on integrating sophisticated decision-making into LLM serving, moving beyond static configurations. Future work will likely involve refining adaptive sampling mechanisms, extending MILP formulations for dynamic ensemble management, and developing more advanced, specialized solvers within predictive pipelining architectures to further optimize resource utilization and throughput.
Helix formulates distributed LLM serving on heterogeneous clusters as a max-flow problem, using MILP to optimize model placement and deriving a per-request weighted round-robin scheduler from the flow...
Framework Genealogy
Tracking research lineages and framework evolution