Solves: Speedup

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

628 ideas found

Unverified 2026

Epoch-Frozen Masked Low-Rank Candidate Encoder

Add an online low-rank reconstruction layer before a recommender or ranking MLP. It estimates a latent action-feature subspace from masked candidate vectors, freezes that subspace for an epoch, reconstructs each partially observed candidate in the latent coordinates, and feeds only those coordinates to the predictor. The method is most promising when the ambient candidate dimension d is large but the effective rank m is small and missingness is not too severe.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Stochastic Linear Bandits with Partially Observed Actions arXiv:2607.08971
Unverified 2026

Rank-Adaptive Tensor-Train MLP

Replace a large dense layer whose input and output dimensions factor into multiple modes by a TT-matrix whose parameters are stored as a chain of small cores. Periodically apply TT-SVD rounding to remove weak singular directions and keep the representation within a prescribed approximation error. This transfers the paper's central computational principle—perform tensor-product contractions directly in compressed form—to neural network layers.

Useful6/10
Difficulty5/10
Novelty4/10
Paper: A Tensor-Train Discontinuous Galerkin Method for the Vlasov-Maxwell System arXiv:2607.08936
Unverified 2026

Coxeter Folding Reversible Recurrence

Build a recurrent block as a fixed or learned ordering of local vertex foldings, mirroring the paper's identification of staircase solution maps with Coxeter elements of a folding group. Each folding changes one polygon coordinate by a rational cross-ratio completion while leaving all other coordinates unchanged. The resulting structured recurrence is reversible and can support constant-memory backpropagation by recomputing folds in reverse order.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Integrability of Cauchy problems for discrete conformal maps and circle patterns arXiv:2607.08901
Unverified 2026

Connectivity-Preserving Wedge Token Pooling

Replace a large graph-token set by a smaller set of connected wedge regions generated through adaptive two-seed shortest-path partitions. Each pooled token is the mean of the node features in its region, while the binary partition tree and region sizes are retained for unpooling or skip connections. This provides a deterministic, graph-aware alternative to arbitrary token merging that can be inserted before graph-transformer message passing.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Tonnetz-Driven Graph Wedgelet for Harmonic Complexity Reduction in Music Scores arXiv:2607.08806
Unverified 2026

Task-Visible Axis Pruning

Prune hidden units only after testing whether their nonlinear gate is task-visible and downstream-used. For ReLU, a unit is removable when its preactivation does not cross zero on the task patch or its outgoing weight column is zero; this is a more structural criterion than weight magnitude and can be applied during width search or post-training compression.

Useful6/10
Difficulty3/10
Novelty5/10
Paper: Contravariance Theory: Strong Alignment for Minimal Solutions to Hard Tasks arXiv:2607.08561
Unverified 2026

Cap-free golden-ratio primal-dual optimizer

Replace a standard proximal-gradient or Adam-style update for a composite neural-network objective with a golden-ratio primal-dual iteration. The optimizer separates a nonsmooth regularizer from a locally smooth loss, estimates local curvature from successive gradients, and uses dual variables for explicit constraints instead of forcing all structure into penalty coefficients. The experiment is falsifiable: at equal gradient evaluations, the method should tolerate larger initial steps and show…

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Two Adaptive Accelerated Golden Ratio Primal--Dual Algorithms With an Application to Poisson Imaging Problem arXiv:2607.08174
Unverified 2026

Moment-Sharp Spectral-Norm Control

Replace a noisy or expensive per-layer spectral-norm estimate with a sharp upper bound obtained by maximizing the largest squared singular value subject to several layer spectral moments. The bound uses the paper's few-distinct-values structure, so the optimization scales with the number of moments rather than the width of the layer.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Sharp Spectral Bounds for Symmetric Positive Definite Tensors via Multiple Algebraic Invariants arXiv:2607.08113
Unverified 2026

Covariance-Adaptive Hermite Latent Bottleneck

Represent a learned approximately Gaussian latent variable using total-degree Hermite coefficients instead of storing or transmitting all latent coordinates. Estimate the covariance defect relative to the unit Gaussian, choose the smallest Hermite degree whose theoretically predicted tail is below a target error, and train the encoder-decoder through the resulting differentiable spectral bottleneck. This is most appropriate for VAE latents, uncertainty embeddings, or intermediate features that…

Useful6/10
Difficulty6/10
Novelty8/10
Paper: Parameter-Space Heat Flow, Gaussian Density Ratios, and Sharp Hermite Truncation Rates arXiv:2607.07712
Unverified 2026

Neighborhood-separator attention

Construct a sparse token-interaction graph from attention affinities and recursively split it by removing the closed neighborhoods of a small set of separator tokens. Separator tokens retain global communication, while the resulting anti-adjacent components perform local attention independently, reducing quadratic attention and KV-cache costs. The induced Erdos-Pósa theorem supplies a structural diagnostic: graphs with few anti-adjacent long-cycle or theta packings should admit small…

Useful6/10
Difficulty7/10
Novelty8/10
Paper: Induced Erdős--Pósa property for long holes, long thetas, and beyond arXiv:2607.07697
Unverified 2026

Weighted-Volume Contractive Optimizer

Replace a fixed optimizer learning-rate field by a positive state-dependent scaling rho(theta) and penalize expansion of weighted parameter-space volume. The optimizer is encouraged to contract regions of parameter initializations that have high weighted divergence, potentially reducing sensitivity to initialization and stabilizing training near sharp or anisotropic loss landscapes.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Weighted Phase Volume Method in Stability Analysis: Integral Criteria and Ellipsoidal Reachable Sets arXiv:2607.05033
Unverified 2026

Rank-Safe Variable-Projection Gauss-Newton

Separate a neural network into nonlinear hidden parameters and a linear output layer. Solve the output layer exactly by least squares, then update hidden parameters with a truncated-pseudoinverse Gauss-Newton step that discards numerically singular directions.

Useful6/10
Difficulty6/10
Novelty5/10
Paper: Structure-Guided Gauss-Newton Method: Linear Advection-Reaction Equation arXiv:2607.07506
Unverified 2026

Chebyshev-Stabilized SDIRK Neural ODE

Replace explicit RK integration in a stiff neural ODE or continuous-depth residual network with the paper's stiffly accurate SDIRK4 discretization. Instead of performing a dense Newton solve for each implicit stage, solve the diagonal stage equation using a Chebyshev-accelerated residual iteration whose polynomial damps the negative, high-magnitude Jacobian modes responsible for stiffness.

Useful6/10
Difficulty7/10
Novelty7/10
Paper: Explicit stabilized implementation of singly diagonally implicit Runge-Kutta methods arXiv:2607.07497
Unverified 2026

Gram-multilevel Gauss–Newton optimizer

Replace an unpreconditioned conjugate-gradient solve for a damped Gauss–Newton step with a two-level algebraic preconditioner derived from local Jacobian-row supports. Use overlapping local parameter blocks as Schwarz subdomains and a coarse basis containing low-energy local modes, so the optimizer can correct both localized and globally coupled parameter errors.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: A black-box, multilevel algebraic preconditioning framework for conforming finite elements arXiv:2607.07485
Unverified 2026

Minimum-motion curvature-targeted preconditioner

Replace abrupt optimizer preconditioner changes with a metric trajectory that moves the smallest affine-invariant distance needed to reach a target generalized Hessian condition number. During training, optimize a short horizon of log-diagonal or block-SPD metrics using a terminal curvature penalty and an intrinsic kinetic regularizer, then execute only the first metric in a receding-horizon controller. The method should reduce oscillations caused by rapidly changing second-moment estimates…

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Restricted Dynamic Geometric Complexity: Path-Space Reduction and Möbius--Jacobi Response arXiv:2607.07204
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