ML: Inference speedup

Machine-learning ideas tagged Inference speedup in the ML taxonomy of the Math2NN corpus.

△ Mechanism confirmed, baseline not beaten 2026

Finite Hyperplane Representative Verification

Replace dense continuous action search during neural-controller verification with a finite set of representative inputs induced by affine pieces of the interval neural dynamics. This makes safety checking parallel over state cells and candidate actions, enabling much cheaper certification or repeated safe-set updates.

Useful7/10
Difficulty7/10
Novelty8/10
Paper: Computing the Maximal Controlled Invariant Set for Neural Network Control Systems arXiv:2608.07908
△ Mechanism confirmed, baseline not beaten 2026

Lipschitz-Certified Cache Refresh

Attach a certificate to a cached transformer KV state or recurrent latent state and refresh it only while its predicted certificate remains inside a latency-contracted admissible region. The controller uses a bound on certificate drift to guarantee that the state will remain admissible throughout the next sampling, communication, and execution delay, reducing unnecessary recomputation while exposing a measurable refresh boundary.

Useful7/10
Difficulty5/10
Novelty8/10
Paper: CIPS: Maximal Certified Persistence in Cyber-Physical Systems arXiv:2608.06626
✗ Failed on benchmark 2026

Conformal Residual Certificates for Neural Rollouts

Attach a finite-sample conformal error radius to a neural surrogate of a dynamical or sequence model, and propagate that radius through the model's local sensitivity. The model should expose a calibrated prediction set or abstain whenever the accumulated bound exceeds a task-specific tolerance, making long-horizon failure a measurable coverage event rather than an unobserved drift.

Useful7/10
Difficulty4/10
Novelty6/10
Paper: Certified Feedforward Tracking for Unknown Nonlinear Systems via Invertible Neural Networks arXiv:2608.06419
△ Mechanism confirmed, baseline not beaten 2026

Magnitude-Ordered Certified Binary Accumulation

Replace fixed-length binary dot products with accumulations whose terms are processed in descending order of weight magnitude. Stop as soon as the current partial sum is larger in magnitude than the total absolute magnitude of all remaining terms; the output sign is then guaranteed to equal the full dot-product sign, eliminating unnecessary additions without changing accuracy.

Useful7/10
Difficulty4/10
Novelty7/10
Paper: Threshold-Based Early Stopping of Accumulations in Neural Networks with Binary Activation arXiv:2608.06177
△ Mechanism confirmed, baseline not beaten 2026

Maximum-cardinality token-expert routing

Construct a bipartite candidate graph between tokens and experts from the router’s top-k logits, then solve a capacity-constrained maximum-cardinality matching rather than dispatching each token independently. The mechanism targets the extreme tail of routing completion: it should reduce unmatched or repeatedly reassigned tokens and lower maximum dispatch delay and expert starvation, even when average routing quality changes little.

Useful7/10
Difficulty6/10
Novelty4/10
Paper: Collective search-and-capture under competing assignment policies arXiv:2608.06084
△ Mechanism confirmed, baseline not beaten 2026

Spectral Message Basis

Replace full agent-to-agent state transmission with coefficients in a learned dominant Koopman mode basis. Agents communicate only the leading spectral coordinates that explain slowly decaying collective behavior, while retaining a certificate based on the spectral gap and subdominant eigenvalue to decide whether the compressed representation is safe.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Certifying Collective Reasoning in Multi-Agent Systems via Koopman Spectral Analysis arXiv:2608.05956
△ Mechanism confirmed, baseline not beaten 2026

Offline-online conditional corrector bank

Build a reusable bank of local fine-scale correctors offline, then let a lightweight online network assemble them using the current coarse state and material context. This replaces repeatedly applying a globally expensive fine-scale model with low-dimensional coefficient modulation for parameter sweeps and autoregressive rollout.

Useful7/10
Difficulty6/10
Novelty8/10
Paper: Efficient higher-order multi-scale method and its convergence estimate for dynamic nonlinear hygro-thermo-mechanical coupling problems of heterogeneous structures arXiv:2608.05580
△ Mechanism confirmed, baseline not beaten 2026

Toda-Krylov adaptive polynomial layer

Replace a fixed-order polynomial or recurrent state-space block by an Arnoldi basis built from a learned operator and the current input, and use subdiagonal coefficients as geometry-aware gates over Krylov depth. The gates quantify how much genuinely new direction each operator application contributes, allowing the layer to stop early near Krylov breakdown and suppress redundant or unstable directions.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Two-dimensional Toda--Arnoldi correspondence: Holomorphic Krylov geometry and counterdiabatic transport arXiv:2608.04850
△ Mechanism confirmed, baseline not beaten 2026

Matrix-Free Butterfly Compression

Compress an existing dense neural-network weight matrix into a recursive butterfly operator using Gaussian sketches of complementary blocks. This is useful for deployment or distillation: the dense model provides an oracle for matrix-vector products, while the compressed model stores only recursive transfer bases and small cores. The generalized Nyström identity gives exact reconstruction for rank-k blocks and a principled approximation route for numerically low-rank blocks.

Useful7/10
Difficulty7/10
Novelty6/10
Paper: A recursive butterfly factorization with optimality guarantees arXiv:2607.29361
✗ Failed on benchmark 2026

Risk-budgeted MoE capacity reservations

Replace the single global MoE capacity factor with expert-specific capacity reservations chosen from a small reliability menu. Experts with highly variable or operationally important token loads receive larger robust buffers, while predictable experts run closer to their mean load. This should reduce token dropping and padding waste simultaneously, especially under distribution shift or bursty routing.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: A Robust Chance Constrained Approach to Surgery Scheduling arXiv:2608.03931
△ Mechanism confirmed, baseline not beaten 2026

Traceable Adapter Rank Control

Represent a sequence of tensorized LoRA-style adapters, expert corrections, or residual weight updates as a traceable graph tensor network and add them using path concatenation plus chord overlay. Periodically round the accumulated graph with SVD so adapter rank and inference cost remain bounded while approximation error is explicitly controlled. This targets continual fine-tuning and mixture-of-experts settings where naively summing low-rank updates causes rank and memory to grow with the…

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Computing with traceable tensor networks arXiv:2608.02849
✓✓ Beats tuned baseline 2026

Entropy-production adaptive diffusion sampler

Use an entropy-production-inspired local discrepancy between full-step and coupled half-step reverse diffusion trajectories as an adaptive error signal. The sampler takes large Euler steps where the estimated marginal mismatch is small and refines only where score variation or reverse-flow mismatch is high, targeting terminal KL rather than path-space error.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: A Unified Kullback--Leibler Divergence Analysis of Generative Diffusion Models via Entropy Production Rate arXiv:2608.02406
✓✓ Beats tuned baseline 2026

Spiderweb Hierarchical Attention

Replace dense token-to-token attention by a multiscale spiderweb communication pattern. Tokens first aggregate upward through a dyadic hierarchy, communicate horizontally only with a small number of cells at the appropriate height, and then receive information broadcast downward. Hyperbolic distance supplies a principled rule for choosing the height at which two tokens interact: nearby tokens interact at fine scales, while far-apart tokens interact through coarse representatives.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Poincaré inequalities on hyperbolic-type spaces arXiv:2608.02369
✗ Failed on benchmark 2026

Fairness-Budgeted Short-Job Insertion

Replace unrestricted continuous batching with a fairness-constrained scheduler that only inserts a waiting request when its predicted decode footprint remains within a normalized distance of the longest request already in the batch. The fairness budget should be tuned away from the mathematically worst midpoint and validated against real arrival distributions, with the goal of reducing wasted max-driven decode work without falling back to inefficient one-request-at-a-time serving.

Useful7/10
Difficulty4/10
Novelty6/10
Paper: Efficiency and Cost Alignment in Batched LLM Serving via Resource-Fair Scheduling arXiv:2608.02244
△ Mechanism confirmed, baseline not beaten 2026

Sparse rational fractional graph layer

Replace a stack of local message-passing layers by a fractional spectral graph filter implemented through a small bank of sparse shifted Laplacian solves. The fractional exponent controls how strongly the layer mixes information across graph distances, while rational approximation avoids dense eigendecomposition and supports efficient differentiation through iterative linear solvers.

Useful7/10
Difficulty6/10
Novelty5/10
Paper: Numerical approximation of fractional diffusion equations on metric graphs arXiv:2608.01932
✓✓ Beats tuned baseline 2026

Parallel Quadratic Tree Layer

Replace sequential upward message passing in a tree-structured neural module with rake–compress contraction of quadratic latent-state messages. Each node stores a quadratic value function and each edge stores a linear transition or coupling triple; leaf elimination and unary-node compression are implemented as batched Schur complements, followed by a reverse pass that reconstructs node latents and edge outputs. The layer is exact for Gaussian or quadratic latent models and remains…

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Rake-Compress Riccati Recursions for Parallel Scenario-Tree Model Predictive Control arXiv:2608.01332
✗ Failed on benchmark 2026

Saturation-Adaptive Prefill Chunking

Replace fixed chunked-prefill settings in an LLM serving engine with a feedback controller that decreases the number of prompt tokens processed per scheduling quantum as GPU saturation or long-context load increases. The controller targets a high-quantile bound on the absolute GPU-power ramp while preserving the existing peak-power ceiling and measuring the resulting latency-throughput tradeoff.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Smoothing the Ramp, Not the Peak: Scheduling-Induced Power Dynamics of LLM Inference and Their Grid-Scale Consequences arXiv:2608.01250
✗ Mechanism failed 2026

Kernel-Zubov Trust Region for Neural Rollouts

Use a convergent kernel approximation of the Zubov invariant as a trust-region monitor for a learned dynamics model. The estimated Zubov sublevel sets become an inference-time gate that rejects, shortens, or dampens transitions predicted to leave the learned attraction region.

Useful7/10
Difficulty5/10
Novelty8/10
Paper: Data-Driven Domain of Attraction Estimation via Convergent Koopman-Zubov Approximation arXiv:2608.01018
△ Mechanism confirmed, baseline not beaten 2026

Fading-Memory Habituation Gate

Add a per-feature or per-token state that accumulates recent stimulation and decays when stimulation is absent, then use a nonlinear decreasing gain to suppress repeatedly activated features. This creates short-term adaptation without changing the core transformer or recurrent weights: familiar inputs are processed with reduced gain, while novel inputs recover their full response.

Useful7/10
Difficulty4/10
Novelty6/10
Paper: Dynamical principles of habituation across substrates and scales arXiv:2608.00249
✗ Failed on benchmark 2026

Coupled Workload-Order Gate

Train an admission or MoE routing gate not only to reduce its immediate workload, but also to preserve the ordering between a controlled trajectory and a baseline trajectory under the same request stream. Penalize counterfactual events in which the controlled system, after initially rejecting work, later exceeds the baseline workload because its changed state causes a large job to be admitted.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: When does admission control reduce congestion? A stochastic ordering approach arXiv:2607.29439
✗ Failed on benchmark 2026

LQ-Compressed LPV Latent Rollouts

Replace a neural sequence model's unconstrained multi-step latent rollout with a data-driven LPV predictor acting on a learned latent state. Build the predictor from Hankel matrices of past latent observations, inputs, and scheduling features, then use an LQ factorization to project the large data coefficient matrix into a fixed-dimensional coordinate system. The model preserves scheduling-conditioned dynamics while making rollout cost independent of the number of training trajectories.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: A subspace approach to data-driven predictive control for linear parameter-varying systems arXiv:2607.28490
✓✓ Beats tuned baseline 2026

Tensorized concentration mixing

Replace a dense mixing or attention matrix on tokens arranged on a Cartesian grid by a product of learned or fixed one-dimensional concentration operators. The layer applies one axis operator at a time, reducing parameter and compute cost while enforcing that the global operator is a positive contraction with controlled spectral leakage.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: Tensor factorization and explicit spectral bounds for product-box concentration operators arXiv:2607.26361
✓✓ Beats tuned baseline 2026

Symmetry-Block Neural PDE Solver

Build an implicit or unrolled graph neural operator on a symmetric simplicial mesh, and perform every symmetry-compatible linear solve in a fixed representation-theoretic basis rather than the original edge/face basis. The same basis can be reused for Poisson, Maxwell, diffusion, and learned linear combinations of DEC operators, yielding parallel independent blocks and lower peak memory without changing the discretized solution.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Parallelisation of Discrete Exterior Calculus via Representation Theory on Curved and Three-Dimensional Meshes arXiv:2607.25192
△ Mechanism confirmed, baseline not beaten 2026

Padé-Hermite Neural ODE Integrator

Replace explicit Runge-Kutta integration in a neural ODE or probability-flow ODE sampler with the anchored two-derivative method. Each stage uses both the neural vector field and its total time derivative, while the coupled implicit solve is designed so the accepted map has an L-stable Padé stability function. The method should allow larger steps on stiff trajectories without amplifying fast decaying modes.

Useful7/10
Difficulty7/10
Novelty7/10
Paper: Arbitrary-Order Padé-Closed Anchored Two-Derivative Time Discretizations: $s$ Active Stages, Order $2s$, and $L$-Stability arXiv:2607.24592