Unverified
2026
Use a learned transition model inside MPC without computing its Jacobian. At every planning iteration, construct coordinate-wise secant matrices from model evaluations, freeze those matrices along the current predicted trajectory, and solve a constrained linear-quadratic subproblem; then re-roll out the nonlinear model and repeat. This targets model-based RL settings where reverse-mode differentiation through hundreds of dynamics steps is expensive or numerically unstable.
Useful6/10
Difficulty6/10
Novelty6/10
Unverified
2026
Replace the length-L learned convolution kernel in a causal sequence layer with K Laguerre basis functions, where K is much smaller than L and the basis parameter controls the decay time scale. The layer retains a long receptive field but learns only K coefficients, while FFT or a fixed state-space realization evaluates the resulting convolution efficiently. This is especially appropriate for audio, sensor streams, and long-context regression where the desired impulse response is smooth or…
Useful6/10
Difficulty5/10
Novelty6/10
Unverified
2026
Pack two real tensors into the real and imaginary components of one complex tensor, perform one complex transform, and recover both real spectra through conjugate symmetry. Combine this with implicit padding so separate padded real arrays and transform workspaces are not allocated.
Useful6/10
Difficulty6/10
Novelty5/10
Unverified
2026
Replace a long sequence of graph propagation steps used to approximate a spectral graph filter with one block Krylov projection. Construct a basis from the input node features together with a small number of Gaussian probe vectors, evaluate the desired matrix function only on the resulting small projected matrix, and retain the output columns corresponding to the original features.
Useful6/10
Difficulty5/10
Novelty7/10
Unverified
2026
Train a constrained neural network on progressively larger data subsets rather than repeatedly solving the full constrained problem from scratch. At each stage, warm-start both the network parameters and constraint multipliers, and use a conservative augmented-Lagrangian gradient update; the paper's local-linear result predicts rapid refinement once the current iterate is near a strong second-order constrained solution.
Useful6/10
Difficulty5/10
Novelty5/10
Unverified
2026
Make Laplacian latency attention hardware-friendly by quantizing the exponential decay and row normalization to powers of two. Exponentials and divisions can then be implemented with lookup tables and integer shifts, enabling a low-bit attention kernel for neuromorphic and edge accelerators.
Useful6/10
Difficulty4/10
Novelty7/10
Unverified
2026
Approximate a long hidden-state or key/value trajectory by a small sum of exponential modes, storing only the mode nodes and vector weights instead of every timestep. Recover the modes from a Hankel matrix through an annihilating polynomial, then reconstruct the trajectory or a compact recurrent state during inference.
Useful6/10
Difficulty6/10
Novelty5/10
Unverified
2026
Use the paper's explicit separation of geometric, truncation, and Monte Carlo errors to adapt the number of Walk-on-Spheres paths and rollout depth per training point. Points close to the boundary receive short, low-cost rollouts, while points with high estimated target variance receive additional paths only when the resulting accuracy justifies their cost.
Useful6/10
Difficulty4/10
Novelty7/10
Unverified
2026
Replace the purely diagonal preconditioner in AdamW or SGD with a blockwise, single-secant BFGS inverse-curvature metric. Use spectral damping and clipping relative to the diagonal RMS metric so the learned metric cannot become arbitrarily ill-conditioned, mirroring the paper's uniform comparison between its conjugate-free scaling and the primal barrier Hessian.
Useful6/10
Difficulty6/10
Novelty5/10
Unverified
2026
Replace the ordinary update in a differentiable minimax game with a Halpern-anchored second-order operator step. The current game iterate is first corrected using the local Jacobian of the game gradient, and the corrected point is then contracted toward a fixed anchor with a decreasing Halpern weight. This is intended to reduce cycling in adversarial training while preserving the faster asymptotic behavior associated with second-order monotone-operator methods.
Useful6/10
Difficulty6/10
Novelty6/10
Unverified
2026
Use the Osgood transform as a controller for adaptive residual-layer step sizes. Instead of choosing a fixed residual scale or requiring every block to have a small operator norm, reduce the step only when the predicted transformed pairwise distance consumes too much regularity budget.
Useful6/10
Difficulty5/10
Novelty7/10
Unverified
2026
Implement f(A)b inside a neural network with a short Lanczos recurrence instead of an eigendecomposition or dense matrix-function operation. Use an SPD operator A such as a regularized graph Laplacian or feature covariance matrix, and choose the number of iterations by monitoring successive approximations. For Stieltjes functions, Lanczos is guaranteed to be close to the best vector in the same Krylov subspace.
Useful6/10
Difficulty5/10
Novelty6/10
Unverified
2026
Use the network-space inverse inequality to choose derivative order, collocation resolution, and feature separation jointly instead of enforcing arbitrarily high-order residuals on an under-resolved network. This creates an anti-aliasing rule: a network whose parameters are separated by \(\underline h\) cannot represent high Sobolev frequencies without a factor \(\underline h^{-(r-s)}\), so derivative penalties above the resolvable order should be disabled or accompanied by refinement.
Useful6/10
Difficulty5/10
Novelty7/10
Unverified
2026
Replace an all-pairs interaction or attention-like message field with an unbiased estimator obtained from a uniformly random partition into batches. Keep the partition fixed for \(\tau\) integration steps, then redraw it; the paper's error law predicts that too-long reuse causes a quadratic-in-\(\tau\) error accumulation, while finite-population error decreases as \(N^{-1}\).
Useful6/10
Difficulty4/10
Novelty5/10
Unverified
2026
Train a finite-element surrogate by minimizing the assembled discrete potential energy rather than a loss against solved displacement labels. The objective uses only the sparse stiffness matrix and load vector, while its exact energy-gap identity makes it equivalent to supervised regression in the stiffness norm.
Useful6/10
Difficulty3/10
Novelty5/10
Unverified
2026
Replace repeated full-dimensional matrix-exponential or ODE solves in a conditioned continuous-time state-space layer with contour quadrature evaluated in a projection basis. The same reduced basis and contour nodes can serve many conditioning vectors, while shifted reduced resolvents provide a stable and differentiable approximation over a prescribed time window.
Useful6/10
Difficulty6/10
Novelty7/10
Unverified
2026
Add a periodic coarse optimization phase to SGD or Adam that operates on a compressed parameterization and returns a prolongated correction to the full network. Retain nonsmooth constraints or regularizers explicitly through a primal-dual update instead of relying on penalty smoothing. Accept the correction only when it improves a cheap fine-batch merit test, making the method useful even when the coarse objective is only approximately coherent with the fine objective.
Useful6/10
Difficulty6/10
Novelty7/10
Unverified
2026
Replace Euclidean projection onto a smooth convex parameter constraint by a local tangent-halfspace linear minimization step. The method is particularly suitable for convex softmax heads or low-dimensional adapter parameters constrained to an ellipsoid, where projections require matrix solves or expensive nonlinear routines but membership and boundary-normal queries are cheap.
Useful6/10
Difficulty5/10
Novelty7/10
Unverified
2026
Replace an explicit gradient step by an implicit correction using the trajectory derivative \(Dg(\theta)g(\theta)=H(\theta)g(\theta)\), where \(g=\nabla f\) and \(H=\nabla^2 f\). The update should strongly damp high-curvature or stiff modes while preserving fourth-order matching of the local linearized dynamics. Start with a self-contained fourth-order L-stable rational prototype, then compare it with the paper's exact two-stage coefficients after recovering those coefficients from the full…
Useful6/10
Difficulty7/10
Novelty7/10
Unverified
2026
Replace ordinary reverse-mode differentiation through a long sequence of stiff relaxation updates with a projected adjoint that separates slow conserved features from rapidly relaxing residual features. The neural layer can use large outer time steps even when its internal relaxation time is very small, while reconstructing only the microscopic gradient component required by the preceding layer.
Useful6/10
Difficulty6/10
Novelty7/10
Unverified
2026
Use a strictly upper-triangular block operator to represent interactions between ordered layers, experts, or token groups, and compute its inverse exactly with a finite Neumann series. Because nilpotency truncates the series after a known number of blocks, the module avoids an iterative solver while retaining controlled long-range interactions.
Useful6/10
Difficulty5/10
Novelty8/10
Unverified
2026
Estimate persistent frequencies in a neural-network training trajectory using a smooth weighted Birkhoff average instead of a rectangular moving average. Use the estimated frequency vector to detect low-order resonances between optimizer oscillations, gradient-noise cycles, and validation-loss oscillations, then trigger a learning-rate or momentum intervention before divergence.
Useful6/10
Difficulty5/10
Novelty7/10
Unverified
2026
Replace a recursive product implementation of a rational spectral filter with an additive sum of independently evaluated resolvents. Use the layer on a graph Laplacian, token-similarity operator, or other sparse feature operator to obtain a high-order filter without multiplicative roundoff and gradient amplification; the independent solves can also be batched or distributed across devices.
Useful6/10
Difficulty6/10
Novelty6/10
Unverified
2026
Construct a symmetric token affinity matrix and approximate only its spectrally outlying token-mixing modes using a small set of sampled landmark columns. The resulting low-rank operator replaces an \(O(n^2)\) dense mixer by two skinny matrix multiplications, while the paper's residual guarantee predicts that large-magnitude global interaction modes are preserved.
Useful6/10
Difficulty5/10
Novelty5/10