4,439 records
- Analyzing Decoders for Quantum Error Correction
- Compression is all you need: Modeling Mathematics
- Meta-Learning for Repeated Bayesian Persuasion
- Data-driven discovery of roughness descriptors for surface characterization and intimate contact modeling of unidirectional composite tapes
- Hawkeye: Reproducing GPU-Level Non-Determinism
- Delightful Distributed Policy Gradient
- Decidability of Quantum Modal Logic
- Mathematical Foundations of Deep Learning
- Pólya Thresholds Graphs
- Resource-Constrained Joint Replenishment via Power-of-$m^{1/k}$ Policies
- State Complexity of Shifts of the Fibonacci Word
- Uniform a priori bounds and error analysis for the Adam stochastic gradient descent optimization method
- Neural Galerkin Normalizing Flow for Transition Probability Density Functions of Diffusion Models
- Theoretical Analyses of Detectors for Additive Noise Channels with Mean-Variance Uncertainty under Nonlinear Expectation Theory
- Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees
- ADMM-Based Distributed MPC with Control Barrier Functions for Safe Multi-Robot Quadrupedal Locomotion
- The Bilateral Efficiency of Ethernet: Recalibrating Metcalfe and Boggs After Fifty Years
- Deep Hilbert--Galerkin Methods for Infinite-Dimensional PDEs and Optimal Control
- Global Convergence of Multiplicative Updates for the Matrix Mechanism: A Collaborative Proof with Gemini 3
- Communication Complexity of Disjointness under Product Distributions
- Error-detecting solid codes
- Variational Kernel Design for Internal Noise: Gaussian Chaos Noise, Representation Compatibility, and Reliable Deep Learning
- Synthetic Differential Geometry in Lean
- Translation Invariance of Neural Operators for the FitzHugh-Nagumo Model
- Benchmarking Reinforcement Learning via Stochastic Converse Optimality: Generating Systems with Known Optimal Policies
- Automated Grammar-based Algebraic Multigrid Design With Evolutionary Algorithms
- Approximation by Quad Meshes in Laguerre Geometry
- RHYME-XT: A Neural Operator for Spatiotemporal Control Systems
- Operator-Theoretic Foundations and Policy Gradient Methods for General MDPs with Unbounded Costs
- Beyond Muon: MUD (MomentUm Decorrelation) for Faster Transformer Training
- Turnpike with Uncertain Measurements: Triangle-Equality ILP with a Deterministic Recovery Guarantee
- Toward Evaluation Frameworks for Multi-Agent Scientific AI Systems
- Functorial Neural Architectures from Higher Inductive Types
- Computing the connected components of real algebraic curves
- Monoidal categories graded by partial commutative monoids
- A complexity analysis of the F4 Gröbner basis algorithm with tracer data
- Early-Terminable Energy-Safe Iterative Coupling for Parallel Simulation of Partitioned Port-Hamiltonian Systems
- Dimensional Type Systems and Deterministic Memory Management
- Optimal uncertainty bounds for multivariate kernel regression under bounded noise: A Gaussian process-based dual function
- SympFormer: Accelerated attention blocks via Inertial Dynamics on Density Manifolds
- Nonlinear Information Theory: Characterizing Distributional Uncertainty in Communication Models with Sublinear Expectation
- GeMA: Learning Latent Manifold Frontiers for Benchmarking Complex Systems
- High-Dimensional Gaussian Mean Estimation under Realizable Contamination
- On the Extension Theorem for Packing Steiner Forests
- Asymmetric Nash Seeking via Best Response Maps: Global Linear Convergence and Robustness to Inexact Reaction Models
- Coded Information Retrieval for Block-Structured DNA-Based Data Storage
- Quadratic Surrogate Attractor for Particle Swarm Optimization
- Acceleration of multi-component multiple-precision arithmetic with branch-free algorithms and SIMD vectorization
- Convex algebras on an interval with semicontinuous monotone operations
- Aperiodic Structures Never Collapse: Fibonacci Hierarchies for Lossless Compression