HiFedProx is introduced, which replaces the quadratic penalty with a scale-matched power-type regularizer indexed by p, and combines this geometry with finite-budget stochastic client optimization and same-minibatch Armijo backtracking.
Muon-C is introduced, an operator-aligned optimizer that represents kernel momentum as frequency-wise channel-transfer matrices, polarizes these blocks independently, and uses a critical Fourier grid to return updates exactly to the original finite kernel support.
Weak Sparse Identification of Nonlinear Dynamics (WSINDy) provides a noise-robust approach for learning dynamical systems from data without requiring numerical differentiation. However, for high-dimensional systems, tensor-product libraries of candidate functions grow exponentially with the state dimension, making stan...
W. Houser, Vanja Dukic, David M. Bortz· 0 citations
A staged, accountable evaluation protocol that treats the evaluation of a deployed model as a measurement with declared reference levels and a quantified uncertainty and demonstrates the protocol on infrastructure-free geomagnetic localisation with smartphone-based recurrent classifiers in two real underground mines.
Benny Platte, Rico Thomanek, Christian Roschke et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
A statistical approach to bias rectification that can be combined in a turn-key fashion with any classical GZSL feature learner as a blackbox, thereby suggesting a wide scope of applicability of this method for a wide variety of GZSL implementations in different domains.
C. Chew, Gim Siang Chia, S. Chanda et al.· 0 citations
This work introduces FlowCPO, an offline forward-KL objective that uses both preferred and dispreferred samples without online rollouts and shows under explicit regularity conditions that the forward-KL objective is bounded by a contrastive flow matching loss, yielding a tractable surrogate on fixed data.
Yan-Sen Han, Shengyi Liao, Peng Sun et al.· 0 citations
An exact finite-sample necessary-and-sufficient condition for two-stage training to strictly outperform real-only training under the same real-data budget and identical real-stage updates is established.
This work characterize the asymmetry between active and inactive interference and the trade-off between interference and observation-noise budgets and introduces IHT-SAE, which uses learned iterative refinement to improve feature recovery beyond the limits of linear availability.
This work gives an exact, conservative one-coordinate finite-task confidence certificate and a reporting standard separating direct estimates, identified sets, and model-conditioned forecasts, and gives exact count-law-preserving constructions with incompatible extrapolations with incompatible extrapolations.
The edge-of-chaos condition preserves first-order input perturbations in wide randomly initialized networks, but physics-informed losses, score matching and derivative regularization depend on higher input derivatives. For smooth scalar-input fully connected networks, using a joint Gaussianity of the finite derivative...
Bandit algorithms generate data for downstream inference, but adaptive sampling biases post-bandit sample means. We analyze this bias for stable index algorithms, including UCB1 and its generalizations, and derive sharp leading-order expressions for the sample-mean bias and expected $Z$-statistic. Our characterization...
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
Learn how Google DeepMind and GovTech Singapore uses lightweight on-device Gemma models to intercept conversational scams in private chats with zero cloud data egress.
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026