4,439 records
- $W-δ-μ$ dual codes and LCD codes
- Adjusted Cup-Product Neural Layer
- Operads for compositional reasoning in LLMs
- From Phase Semantics to Base-extension Semantics (and back)
- Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization
- Structure-Preserving Neural Surrogates with Tractable Uncertainty Quantification
- The relaxation complexity of the standard simplex is logarithmic
- Quadratic APN Functions in Dimension 8 via Gröbner Basis Search in a Self-Equivalence Subspace
- Graphical Analysis of Lifted Product Code Constructions
- A Rank-Preserving Gaifman Normal Form
- Reliable Error Estimation for PINNs: Lower and Upper A Posteriori Bounds
- A Riemannian Approach to Low-Rank Optimal Transport
- Nearly Instance Optimal Sparse Matrix Approximation from Matrix-Vector Products
- How Low Can You Go? Active Learning for Sparse Model Discovery in the Ultra-Low-Data Limit
- A coupled finite element formulation for chemo-mechano-thermodynamical contact and its application to bonding and debonding
- Boltzmann Attention: Learnable Ising Couplings for Cooperative Attention
- Two-Layer Linear Auto-Regressive Models Estimate Latent States
- A unified complexity bound for logconcave sampling
- A Stabilized Path-Space Approach to Diffusion-Based Posterior Sampling
- Improved Representation of Matrix Lie Group Operations through Tensor Notation
- Baseline-Free Policy Optimization for Neural Combinatorial Optimization
- Minimum Distortion Quantization with Specified Output Distribution
- Quantified propositional calculi and narrow implicit proofs
- NOVA: Symbolic Regression Discovery of Interpretable Car-Following and Lane-Change Models with Driver Heterogeneity
- On concatenation of matrices for reversible linear codes over a finite commutative ring and applications to DNA codes
- Max-Policy Iteration, Revisited
- Moonshine: An Autonomous Mathematical Research Agent Centered on Conjecture Generation
- Encoding the Euler Characteristic Transform
- Gradient based Bilevel for Inverse Optimal Control, a Riemannian approach
- A New Invariant for Prime Alternating Knots From Error-Correcting Codes
- Schmidt Decomposition-Based Methods for Efficient Quantum Image Encoding
- Express Language Modeling
- Coset Ensemble Decoder for Quantum Error Correction with Algorithm-Hardware Co-Design
- A short proof of a quadratic lower bound on the border determinantal complexity of $x_1^n+\cdots+x_n^n$ over $\mathbb{C}$: A simple human exposition
- Limitations of Learning Tanh Neural Networks with Finite Precision
- Data-Driven Dynamic Assortment in Online Platforms: Learning about Two Sides
- First-Order Trajectory Matching: Fast Ensemble Predictions of Chaotic, Turbulent, Stochastic Systems
- Bellman-sufficient Information Complexity
- An Information-Theoretic Analysis of Threshold Group Testing
- Density estimation for Hellinger via minimum-distance estimators: mixtures of Gaussians, log-concave, and more
- A Stochastic ISCS Markov Model for Fake News Propagation
- Optimal Regret Exponents for Bayesian Statistical Decision Problems
- Self-Consistent Generative Paths via Admissible Random Variational Transport
- LEAF: A Learning-Enabled ADMM Framework for Accelerated Convex Optimization
- Understanding Quantization-Aware Training: Gradients at Quantized Weights Bias to the Low-Loss Basin
- Consecutive Support Matching Induced Parameter Tuning Accelerates Momentum Iterative Hard Thresholding
- Explicit and asymptotically good constructions of Algebraic Geometry codes in the sum-rank metric
- Probabilistically Checking Quantum Proofs, with Interaction
- Data-driven discovery of governing differential equations across physical systems
- (Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs