ML: Inference speedup

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

✗ Failed on benchmark 2026

Pre-Training Depth Feasibility Certificates

Use computable upper and lower error bounds to reject quantized-depth configurations that cannot reach the desired accuracy before training. The planner separates irreducible library mismatch from finite-depth synthesis, codebook metadata, and execution errors, then selects the smallest depth and metadata budget whose estimated bound passes the target.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: When Can Depth Replace Precision? A Resource Theory of Quantized Neural Computation arXiv:2607.23390
△ Mechanism confirmed, baseline not beaten 2026

Dyadic Hankel Boundary Attention

Replace dense attention between tokens on opposite sides of a one-dimensional boundary or segment split with a dyadic low-rank approximation of a Cauchy/Hankel distance kernel. Each distance-scale block uses O(log(1/\varepsilon)) features, and the number of active scales grows only logarithmically with context length after discarding a narrow boundary layer. This is especially suitable for a relative-position attention branch or state-space-like long-range branch, rather than arbitrary…

Useful7/10
Difficulty5/10
Novelty6/10
Paper: An independent proof of the plunge-region conjecture for time-frequency localization operators in dimension one arXiv:2607.23016
✓✓ Beats tuned baseline 2026

Active-Set CG Router

Train a mixture-of-experts router by solving its regularized nonnegative simplex least-squares subproblem with a matrix-free active-set conjugate-gradient method instead of projected gradient or Adam. The router coefficients remain exactly nonnegative and sum to one, while CG rapidly solves each free-set quadratic and the active-set pivots identify sparse expert assignments.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Non-Negative Conjugate Gradients arXiv:2607.22121
△ Mechanism confirmed, baseline not beaten 2026

Rank-One Delta Associative Memory

Replace a portion of quadratic key-value attention or an external episodic table with a per-sample matrix fast memory updated by rank-one delta corrections. The memory directly learns a linear key-to-value map and can be carried across sequence segments, providing cheap online adaptation with constant state size per head.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: Memoir: Should a Model Write to Its Memory While It Thinks? arXiv:2607.20792
△ Mechanism confirmed, baseline not beaten 2026

Manifold-kernel attention

Replace or augment dot-product attention with a non-increasing radial kernel of pairwise representation distance. The bandwidth is normalized using an estimated local intrinsic dimension and local neighbor scale, creating an explicit locality-controlled attention operator.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Graphon as a Bridge between Graphs and Manifolds arXiv:2607.20213
△ Mechanism confirmed, baseline not beaten 2026

Histogram-Controlled Cluster Updates for Iterative GNNs

Replace node-by-node scheduling in an iterative message-passing network with a learned scheduler that selects one graph cluster at a time, while updating all nodes in that cluster synchronously. The scheduler observes a quantized histogram of local residual weights, making its state invariant to permutations of nodes inside a cluster and independent of cluster cardinality.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Learning to Decode Quantum LDPC Codes via Cluster-Based Sequential Belief Propagation arXiv:2607.20130
△ Mechanism confirmed, baseline not beaten 2026

Cholesky-Structured SPD Classifier

Build an SPD classifier and residual head directly from Cholesky factors, using lower-triangular differences and matrix-power terms instead of generic eigendecomposition-based logarithm operators. This retains covariance geometry while making positive-definiteness automatic and backpropagation more numerically stable for minibatch training.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Riemannian Deep Learning: Modules, Networks, and Geometries arXiv:2607.19305
✗ Failed on benchmark 2026

Balanced design attention

Construct overlapping attention windows from a block design instead of using one dense sequence-by-sequence attention matrix. Every token appears in exactly $r$ windows and every token pair co-occurs in exactly $\lambda$ windows, giving uniform coverage and avoiding the uneven connectivity of arbitrary sparse masks.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Block designs and systems of pairs arXiv:2607.18499
✗ Mechanism failed 2026

Critical Spectral Mode Compression

Replace a large diagonalizable recurrent or state-space transition operator by a sparse set of retained oscillatory modes selected according to their contribution to the output autocorrelation. Unlike magnitude-based pruning, the objective is to preserve the power-law return signal generated by pairwise spectral differences, enabling long memory with far fewer modes.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Information Compression at Criticality arXiv:2607.18388
✗ Failed on benchmark 2026

Spectral-Band Dual-Timescale Network

Split hidden dynamics into relaxation bands when the Jacobian spectrum has a gap, evolve each band with its own timescale, and retain an explicit cross-band exchange term. This yields a principled dual-timescale RNN or SSM rather than choosing fast and slow branches heuristically.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Richards' equation as a hydrodynamic limit: Chapman--Enskog reduction of the continuum kinetic equation for unsaturated soil water arXiv:2607.17358
△ Mechanism confirmed, baseline not beaten 2026

Noise-Triggered Latent Rank Adaptation

Use the recursive errors-in-variables subspace spectrum as a controller for the width of a latent SSM rather than fixing the state dimension in advance. Neurons or state channels are added when corrected covariance eigenvalues rise above the noise floor and pruned when they remain below it, producing a model-order-adaptive recurrent architecture for nonstationary streams.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: A recursive subspace based method for errors-in-variables model identification of time-varying systems arXiv:2607.17065
✗ Mechanism failed 2026

KS-Adaptive Graph Halting

Use the KS ratio to decide how many message-passing layers to execute per graph or per node, rather than selecting a fixed depth. In the subcritical regime, stop once the predicted remaining effect is below a tolerance; in the supercritical regime, continue until the observed logit change becomes small or a larger budget is reached.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: The Value of Depth in Message Passing on Sparse Graphs: A Kesten-Stigum Dichotomy arXiv:2607.16676
△ Mechanism confirmed, baseline not beaten 2026

Event-driven shared-neuron graph

Replace a conventional feed-forward block with a sparse temporal graph whose hidden units are shared across many computation paths. Each arriving message updates a shared accumulator, applies a nonlinear response, and schedules delayed messages to downstream neurons; constructive or destructive interaction emerges when multiple paths visit the same unit.

Useful7/10
Difficulty6/10
Novelty8/10
Paper: NeuronSoup: Evolving Asynchronous, Shared-Neuron Temporal Graphs without Backpropagation arXiv:2607.15217
△ Mechanism confirmed, baseline not beaten 2026

Distributed E-Value Prediction Sets

Equip each neural-network expert or robot with a locally calibrated e-value for every candidate label, then fuse neighboring e-values using uncertainty-attenuated convex weights. At inference time, retain all labels whose fused e-value does not cross the finite-sample rejection threshold, so the model abstains instead of making an unsupported point prediction. This transfers the paper's coverage-recovery mechanism to ensembles, federated models, and graph neural networks.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: Finite-Sample Conformal Coverage Recovery via Fusion under Degraded Local Guarantees in Occupancy Map Estimation arXiv:2607.14906
△ Mechanism confirmed, baseline not beaten 2026

Spectral Burn-In and Retrieval Switch

Use the observer contraction rate as an online inference controller. Run the latent observer when its estimated contraction is strong, and invoke expensive retrieval or latent-state reinitialization only when contraction is weak or observation residuals indicate model mismatch.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Contraction versus Recurrence: An Exponential Separation in Observation-Based Prediction of Deterministic Dynamics arXiv:2607.14885
✗ Mechanism failed 2026

Binary Very-Weak PDE Network

Combine the very-weak residual with step activations and one-bit weights, so the deployed PDE solver uses threshold and binary operations while training still optimizes a differentiable surrogate. The weak objective only needs values of the trial function and therefore does not require differentiating discontinuous activations with respect to spatial coordinates.

Useful7/10
Difficulty6/10
Novelty4/10
Paper: Neural Very Weak Formulations enabling Hardware-Oriented deep PDE solvers arXiv:2607.14498
△ Mechanism confirmed, baseline not beaten 2026

Self-Correcting Euler Horizon Rule

Use contraction-aware integration rather than assuming that Euler discretization error grows monotonically with sampling time. For a contracting neural ODE, permit a transient error peak but choose the step size and terminal horizon using the predicted peak time and subsequent exponential decay.

Useful7/10
Difficulty4/10
Novelty6/10
Paper: Wasserstein Stability of Contracting Flows: Effective Rates, Euler Self-Correction, and Noise Tightening arXiv:2607.14291
△ Mechanism confirmed, baseline not beaten 2026

Compactified Burst Controller

Use the paper's distinction between radial attraction and tangential instability at infinity to detect impending hidden-state bursts before they cause numerical failure. When the state approaches a radially growing directional equilibrium, temporarily add radial damping or switch to a bounded fallback update, then restore the original dynamics after angular ejection.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Blow-up Parameter Landscapes for Polynomial Dynamical Systems arXiv:2607.14269
✓✓ Beats tuned baseline 2026

Moment-Calibrated Verification Stopping

Replace a fixed-depth all-accept verifier cascade with a depth controller calibrated to the latent distribution of per-instance false-accept rates. The controller should stop when the predicted reliability gain from another gate is smaller than its inference cost, avoiding the severe overconfidence caused by treating correlated verdicts as independent evidence.

Useful7/10
Difficulty4/10
Novelty7/10
Paper: Partially Correlated Verifier Cascades in LLM Harnesses: Concave Log-Odds, Polynomial Reliability, and Blind-Spot Ceilings arXiv:2607.13918
✓✓ Beats tuned baseline 2026

Geometric Feedback Compute Scheduler

Treat unresolved inference items as active threats and allocate a fixed budget of C module evaluations per round. Each evaluation has an item-dependent probability of completing the item, while the scheduler observes only completion or failure after the round. Use fair allocation when completion probabilities are unknown or nearly homogeneous, then switch to a marginal-success greedy policy as feedback estimates become reliable.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Meeting Uncertain Threats with Feedback arXiv:2607.13648
✗ Failed on benchmark 2026

Contour-resolvent state-space layer

Replace repeated time-stepping of a stiff linear state-space block with a quadrature approximation to its inverse Laplace transform. The layer propagates a hidden state using a small set of complex shifted linear solves, which can be batched and reused across many time steps or parameter values.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Contour integral methods and structured perturbations for linear differential-algebraic equations arXiv:2607.12628
△ Mechanism confirmed, baseline not beaten 2026

Residual-energy cross attention

Replace dense query-key attention with an adaptive cross approximation constructed from selected query and key pivot tokens. At each rank, choose the pivot pair that removes large estimated residual energy, update the residual by a rank-1 cross correction, and stop when the residual estimate reaches a target tolerance. The resulting factorization computes approximate attention using a small number of landmark interactions while adapting to the actual token distribution.

Useful7/10
Difficulty6/10
Novelty5/10
Paper: Continuous Cross Approximation of Matrices Arising Out of Kernel Functions arXiv:2607.12540
✗ Mechanism failed 2026

Zeta-Corrected Singular Integral Layer

Construct a periodic neural integral layer whose fixed singular kernel behaves like |y|^{-s} near the origin, but whose samples on the uniform grid are replaced on a small symmetric stencil by SinCoTrap correction weights. The correction cancels low-order Taylor errors caused by sampling the singularity, while all nonlocal grid points remain unchanged. Increasing the correction order from p=0 to p=1 or p=2 should reduce discretization error without increasing global grid resolution.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: SinCoTrap: A High-Order Locally Corrected Trapezoidal Rule for Periodic Singular Integrals in Arbitrary Dimensions arXiv:2607.12390
✗ Mechanism failed 2026

Static Auxiliary-Graph Ensemble

Run the same neural decoder over several algebraically equivalent augmented graphs and aggregate their variable-level predictions. Each graph exposes different cycle structure and message routes, providing structured architectural diversity rather than ordinary random-seed ensembling.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Auxiliary Nodes for BP Decoding of Quantum LDPC Codes arXiv:2607.12187