4,439 records
- 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
- CrossADR: enhancing adverse drug reactions prediction for combination pharmacotherapy with cross-layer feature integration and cross-level associative learning
- Muon Converges under Heavy-Tailed Noise: Nonconvex Hölder-Smooth Empirical Risk Minimization
- Interpretable Classification of Time Series Using Euler Characteristic Surfaces
- Completeness of Relational Algebra via Cylindric Algebra
- Decomposing Probabilistic Scores: Reliability, Information Loss and Uncertainty
- Strategic Partitioning and Manipulability in Two-Round Elections
- Deep learning and the rate of approximation by flows
- Physics-informed fine-tuning of foundation models for partial differential equations
- The Compilability Thresholds of 2-CNF to OBDD
- Unbiased and Biased Variance-Reduced Forward-Reflected-Backward Splitting Methods for Stochastic Composite Inclusions
- Discovery of interaction and diffusion kernels in particle-to-mean-field multi-agent systems
- Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
- Sampling Boltzmann distributions via normalizing flow approximation of transport maps
- Windowed Fourier Propagator: A Frequency-Local Neural Operator for Wave Equations in Inhomogeneous Media
- Enhancing LLM Training via Spectral Clipping
- Better approximation guarantee for Asymmetric TSP
- High-Probability Bounds for SGD under the Polyak-Lojasiewicz Condition with Markovian Noise
- Excited Pfaffians: Generalized Neural Wave Functions Across Structure and State
- Delightful Policy Gradient
- On Interpolation Formulas Describing Neural Network Generalization
- Pyroclast: A Modular High-Performance Python Solver for Geodynamics
- Scorio.jl: A Julia package for ranking stochastic responses