Solves: Speedup

Machine-learning ideas tagged Speedup in the Solves taxonomy of the Math2NN corpus.

638 ideas found

Unverified 2026

Schur Interaction Monitor for Adaptive Hyperparameters

Use the paper's negative-semidefinite interaction curvature to detect and compensate for destructive coupling among layerwise learning-rate, momentum, or preconditioner mechanisms. Instead of independently tuning mechanism amplitudes, estimate their reduced curvature after hidden optimizer states relax, then apply a low-rank trust-region step or freeze mechanisms whose interaction curvature is too negative.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Optimization Geometrodynamics: Variational Reduction and Interaction Curvature arXiv:2607.06723
Unverified 2026

Puiseux Arclength Continuation for Implicit Layers

Replace the usual linear predictor in continuation of an implicit neural state with a fractional-power predictor fitted from recent states, then correct the prediction using a pseudo-arclength constraint. This is designed for equilibrium layers, implicit sequence models, or homotopy training schedules where the state Jacobian becomes nearly singular and ordinary Newton correction or fixed-point iteration becomes unstable.

Useful6/10
Difficulty6/10
Novelty8/10
Paper: Computing singular solutions of polynomial systems: towards superlinear convergence without deflation arXiv:2607.06329
Unverified 2026

Exponentially Growing Learning Rate with Update-Norm Restarts

Replace a fixed or hand-tuned learning-rate schedule with a slowly exponentially increasing schedule, and restart the schedule whenever the update norm grows at least as fast as the schedule itself. The restart preserves the current parameters but resets the learning-rate multiplier, allowing the optimizer to repeatedly approach the largest locally stable step size without requiring a Hessian spectrum or a reliable initial learning-rate guess.

Useful6/10
Difficulty4/10
Novelty5/10
Paper: Gradient descent with exponentially increasing stepsizes and restarts arXiv:2607.06314
Unverified 2026

Adaptive CUR Neural Layer

Replace a dense weight matrix by a cross approximation built from selected rows and columns rather than by a conventional truncated SVD. Periodically refresh the selected indices using residual leverage scores, warm-starting from the previous factorization so that the compressed layer can track weight changes during fine-tuning.

Useful6/10
Difficulty5/10
Novelty5/10
Paper: A Sub-linear Low-Rank Solver for Poisson's Equation using Machine Learning Frameworks for GPU Acceleration arXiv:2607.06021
Unverified 2026

Canonical orbit search for symmetric pruning masks

Enumerate structured pruning masks only up to exact permutations of exchangeable channels, hidden units, or experts. Replace exhaustive mask search with canonical augmentation: retain a subset only when it is lexicographically smallest among all masks obtained by the model's symmetry group, while recursively generating only canonical predecessors.

Useful6/10
Difficulty5/10
Novelty8/10
Paper: Symmetric lexicographic symmetric-subset reverse search for the enumeration of circuits, cocircuits, and triangulations up to symmetry arXiv:2607.05967
Unverified 2026

Certified Active-Tail Ising Layer

Insert an active-set reduction step into a binary energy layer or Hopfield-style discrete optimizer. Coordinates whose signs are stable and whose local fields have a rigorous margin are frozen, while their interactions are folded into an induced bias and only the unresolved tail is updated. This preserves the exact conditional quadratic objective and can reduce dense interaction cost substantially when the state becomes polarized.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: iSTAR: an algebraic-collapse framework for variational reduction in quantum-inspired continuous Ising solvers arXiv:2607.05448
Unverified 2026

Unassembled Adaptive Cell Neural Network

Represent every mesh interface degree of freedom by one feature copy per incident cell, and apply local neural blocks directly to these cell tensors. Enforce inter-cell consistency with valence-weighted averaging only after selected layers or hierarchy transitions, avoiding repeated construction of a global sparse graph or assembled feature vector. This is suited to adaptive quadtrees, octrees, and finite-element neural operators.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Coalesced Matrix-Free Geometric Multigrid on Persistent Cell-Wise Storage arXiv:2607.03413
Unverified 2026

Sketch-orthogonal low-rank optimizer updates

Apply the paper's orthogonal-sketch idea to a trainable low-rank weight update or low-rank optimizer state. After every optimizer step, use a row sketch and Cholesky QR to recondition the factor basis, then compute the update with the standard tangent-space projector rather than an oblique sketched projector.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Sketch low-rank dynamics: orthogonal vs. oblique projections arXiv:2607.03402
Unverified 2026

Amortized low-rank Laplace hyperparameter marginalization

Replace repeated full-curvature factorizations when evaluating many Bayesian neural-network hyperparameter settings with one shared low-rank approximation of the data-induced precision update. Reuse the same curvature subspace while changing prior precision, observation-noise precision, or layerwise regularization, evaluating each candidate through a small rank-r matrix and Woodbury solves.

Useful6/10
Difficulty5/10
Novelty5/10
Paper: Amortized low-rank approximation for hyperparameter marginalization in PDE-governed Bayesian inverse problems arXiv:2607.03355
Unverified 2026

Sound active-neuron pruning for SDP verification

Reduce the SDP dimension by removing ReLU neurons that are provably inactive, always active, or incapable of changing the current worst-case margin. The verifier keeps exact affine substitutions for fixed-sign neurons and retains only genuinely unstable neurons whose activation can cross zero under the perturbation set. A stronger optional rule removes an unstable neuron when its certified maximum possible contribution is below a user-controlled tolerance, with an exact mode that prunes only…

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Fast SDP certification of neural networks : towards large multi-class datasets arXiv:2607.03232
Unverified 2026

Support-Scenario Attention Pruning

Turn attention weights into a Boolean support scenario and prune edges using local-surjectivity constraints rather than independently thresholding each row. Preserve at least one compatible continuation for every local window, then favor a strongly connected support graph so pruning removes redundant mixtures while maintaining a globally coherent sparse attention pattern.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Possibilistic collapse and extremality of simplicial distributions arXiv:2607.02754
Unverified 2026

Forced Variational Momentum Optimizer

Replace standard heavy-ball momentum with an update derived from a discrete kinetic-minus-loss action and a discrete viscous force. The force discretization produces a rational damping factor that remains controlled over a specified range of step sizes, potentially reducing oscillations and instability without Adam-style second-moment state.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Variational integrators using forced discrete Hamiltonian systems arXiv:2607.02694
Unverified 2026

Overshoot Budget Controller

Use the paper's non-permutation-invariant overshoot bound as a runtime guard for large learning rates. A proposed step is accepted only if its predicted overshoot contribution is compatible with the observed gradient residual; otherwise the optimizer clips or shrinks the step, preventing isolated very large updates from causing delayed divergence.

Useful6/10
Difficulty4/10
Novelty7/10
Paper: Lower Bounds for Anytime Acceleration of Gradient Descent arXiv:2607.02053
Unverified 2026

Expander OMP Sparse Inference

Use the expander decoder as a structured sparse-coding dictionary and replace dense OMP correlation steps with edge-wise gather-and-reduce operations. This is useful when codes must be inferred iteratively, including interpretable feature extraction, sparse retrieval, or an inference-time latent selector that cannot rely entirely on an amortized encoder.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Expander Sparse Autoencoders: Parameter-Efficient Dictionaries for Mechanistic Interpretability arXiv:2607.01799
Mechanism failed 2026

FFT Natural-Gradient Preconditioner

Replace the ordinary gradient of a spatially indexed parameter tensor by a Fourier-domain inverse-metric gradient. FFT the gradient over its spatial dimensions, divide every frequency by a positive spectral symbol, inverse FFT, and then apply the optimizer step. Use a Bessel/Sobolev symbol as a parameter-free baseline and optionally estimate a task-specific symbol from gradient power spectra.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Fourier-Diagonalized Natural Gradients and Sobolev Mirror Descent arXiv:2607.01634
Unverified 2026

Monotone Singular-Value ICNN Envelope

Replace a generic neural constitutive law or energy model with an ICNN that consumes the positive singular values of a deformation-like matrix and is convex and coordinatewise nondecreasing in those inputs. Train it as a lower approximation to a nonconvex target energy, so the network acts as a computationally cheap sufficient polyconvex-envelope surrogate rather than merely interpolating unstable samples.

Useful6/10
Difficulty4/10
Novelty4/10
Paper: Compression of Polyconvex Envelopes of Isotropic Functions via Monotonic Input Convex Neural Networks arXiv:2607.01055
Unverified 2026

Tropical support-restricted PINN

Represent the PINN solution in a restricted polynomial or Taylor basis whose exponent set is supplied by tropical support analysis, instead of asking an MLP to discover the local series structure from scratch. The restriction removes coefficients that cannot occur in the formal solution, reducing trainable degrees of freedom and preventing spurious low-order or singular terms.

Useful6/10
Difficulty5/10
Novelty8/10
Paper: Tropical Geometry as a Restricted Architecture for Physics-Informed Neural Networks: Applications in Nonlinear Fluid-Structure Examples arXiv:2607.00237
Unverified 2026

Delay-Budget Controller for Coupled Training

Treat a coupled neural training loop as a delayed feedback system with two hard delays and two first-order implementation filters. Estimate the dominant coupled Jacobian mode and use the characteristic equation to distinguish a recoverable delay-induced oscillation from a filter-induced instability; then reduce stale-gradient delay only in the former case, and slow or retune EMA or relaxation filters in the latter.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Implementation Filters and Delay-Budget Instability in Coupled Replicator--Mutator Dynamics arXiv:2607.00227
Unverified 2026

Independent-Simplex Hypergraph Router

Use the paper's edge-to-area incidence structure to choose a small set of geometrically independent simplices instead of processing every possible hyperedge. A greedy rank-increasing router retains a triangle only when its Jacobian adds a new direction, reducing higher-order message-passing cost while preserving diverse geometric information.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: On volume vectors determined by hypergraphs in thin subsets of Euclidean space arXiv:2607.00153
Unverified 2026

Inexact High-Order Moreau DC Optimizer

Represent a parameter objective locally as a difference of convex terms, compute approximate proximal points for both terms, and update parameters using the difference of their high-order Moreau-envelope gradients rather than the raw DC gradient. Start with the quadratic case p=2, then test p=4 as a sharper penalty for large proximal residuals; solve each proximal subproblem with a small fixed number of inner steps and decrease the smoothing scale during training.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Difference-of-Convex Optimization via Inexact Smoothing Descent Methods: Difference of High-Order Moreau Envelopes arXiv:2606.30991
Mechanism works 2026

Modular collision-free sparse attention

Replace dense attention between grid-arranged tokens by a deterministic block-sparse pattern generated from modular permutations. In each block, connect row token i to column token p(i)=2i modulo B; because i, i-p(i), and i+p(i) are injective modulo B when gcd(B,6)=1, the pattern avoids repeated horizontal, vertical, and diagonal projections. Use shifted permutations across heads to increase receptive-field coverage while retaining structured sparsity.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Closing the gap and settling the problem of queens on an $n\times n$ board, each attacking at most one other arXiv:2608.27432
Unverified 2026

KL-Budgeted Poisson-Race Sampling

Replace repeated rejection sampling from a neural proposal P with a Poisson race that selects one proposal candidate with exactly the target distribution Q. Candidate i receives a Poisson arrival time A_i and race score A_i divided by Q(X_i)/P(X_i); the smallest score wins. When Q is close to P in KL divergence, the selected index has low expected logarithmic rank, providing an adaptive compute budget instead of a fixed number of candidates.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: A note on shifting distributions via Poisson races arXiv:2608.26996
Mechanism failed 2026

Secant-Calibrated lp Optimizer

Bootstrap the optimizer curvature scale from a deliberately nondegenerate pair of gradient queries, then perform steepest descent in lp geometry with a local secant backtracking rule. The method does not require a supplied learning rate, smoothness constant L, initial distance R, or optimum value f*, and it automatically uses the dual norm associated with p.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Optimal Parameter-Free Gradient Minimization in $\ell_p$ Geometry arXiv:2608.26688
Unverified 2026

Regret-Balanced Adaptive Context

Choose the retained context length by balancing the statistical complexity of adding lag j against the squared prediction bias from discarding it. Unlike a fixed context window, the rule uses both the remaining-horizon spectrum and the estimated tail energy, allowing a model to expand or shrink its memory online.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Sharp Minimax Regret for Infinite-Memory Logistic Prediction arXiv:2608.26515