4,439 records
- On Parameter Symmetries and Conservation Laws in Gradient Flow
- Contraction of Rényi Divergences for Discrete Channels
- DisKO: Deep Koopman Learning in Distribution Space from Unpaired Snapshots
- Structured Neural SDEs for Functional Calibration
- A proof of the generalized packing-covering conjecture
- ProofLoom: Proof-Obligation-Driven Theory Construction for Autoformalizing Research-Level Stochastic Optimization
- A performance enhancement of the Payne-Hanek range reduction algorithm
- Universality and Generalization of Causal Transformers Across Context Lengths
- Improved bounds for constant-power and low-power error-correcting cooling codes
- Quasi Linear Kernel Attention with Infinite Capacity
- Indistinguishability of Sum of Permutations: A Fourier Analytic Route to Classical and Quantum Security
- An analysis of Mirror-Descent Soft Actor-Critic
- Universal Approximation of Measure-to-Measure Operators by Pushforwards
- Latent Twin Operator
- Bounding Retraining Equivalence and the Deletion Floor in Materials Machine Unlearning
- Coinductive reasoning for parametrized functors and monads
- Neural Harmonic Measure Operator
- Finite-ring obstructions for quadratic binary radius-two cellular automata
- Pseudo-solutions of polynomial systems and the lower bound problem for $\mbox{AC}^0[p]$-Frege systems
- Preferent Compression Bounds Are Tight
- Neural networks for spectral optimization
- A Hyperbolic Bound for File Retrieval in DNA-Based Data Storage
- Preconditioned Physics-Informed Neural Operator Training
- The Role of Feed-Forward Layers in Transformer Dynamics
- Transversal Pooling Neural Networks
- Can Representation Learning Decouple from Loss Minimization? Polar Updates Have an Answer
- LDPC Fractus Codes: Sparse Codes with Recursive Structure
- Proofs Without Nominals: Gödel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes
- Dual lattice attacks for bounded distance decoding, revisited
- Generalized PINN-Based Inverse Estimation of Spatially Varying Heat Transfer Coefficients with Transfer Learning
- Generalized Bawo: A Finite-State Model and an EXPTIME Upper Bound
- Lean Formalization of Interpreting Lambda Calculus in Domain-Valued Random Variables (CSL 2026)
- ILP-BO: Integer Linear Programming-Based Black-Box Optimization
- Convergence of Practical Muon
- AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits
- Apparent Compression, Real Stability: The Intrinsic Dimension of Learning a Quantum Wavefunction
- The Price of Locality: Why Forward-Forward Underperforms Backpropagation?
- The Moment Method for Computing Real Points of Sparse Polynomial Systems
- Optimal Transport Dropout for Structured Predictive Uncertainty
- Geometric Identification in Predict-Then-Optimize Learning
- The cost of useful natural gradient updates
- A Continuous Projection Converse and a Weighted Construction for Uniquely Decodable Code Pairs
- A Novel Approach for the SDIR Epidemic Model on Online Social Networks
- Non-Adaptive Learning of Sparse Erdős--Rényi Graphs via Affine Splitting
- Flip-packability: uniform characterisations of tame graph classes
- A proof of the Braun-Etzion-Vardy bound for binary subspace codes
- dOPT: Differentiating Conic Optimization via Geometric Reduction
- Adapting neural operators for mechanics decisions under changing operating conditions
- Structure-Adaptive Tree Field Integrators
- Localization costs and information growth for exact Gaussian observations