4,439 records
- ARGON: A GNN-Empowered Compilation Framework for Scalable Neutral Atom Computing
- Improved lower bounds for the Shannon capacity of odd cycles
- A Defense of the Quadratic Model
- Smart predict-then-robustly-optimize
- Contact-Persistent Full Actuation for Aerial Physical Interaction
- How Close is a Tree to a Euclidean Minimum Spanning Tree?
- Learning to Decode Quantum LDPC Codes via Cluster-Based Sequential Belief Propagation
- Local Stability and Gaussian Smoothing of Quantized Neural Networks
- On Optimization Complexity of Second-Order Certified Unlearning
- PG-KINN: A Physics-Informed Petrov-Galerkin Kolmogorov-Arnold Network for Solving Forward and Inverse PDEs
- Fisher Widths: Local Learning Geometry and Anisotropic Recovery
- End-to-End Learning of Safe Optimal Feedback Control in High Dimensions with Control Barrier Function Layers
- Algorithm librla: A library of randomized linear algebra routines
- Shallower ReLU Network Representations via Exact Linear Algebra
- Contraction-Gauge Preconditioning for Quantized Matrix Multiplication
- Countercurrent Multiplier Networks: A Renal-Inspired Iterative Operator with Provably Bounded Fixed-Point Dynamics
- Bayesian Sequential Quantum Amplitude Estimation for Rare-Event Structural Failure Probability
- Exploiting Load/Store Leakage of Sparse Vectors for Key Recovery in HQC
- Real-time optimal control with shallow recurrent decoder networks
- Riemannian Deep Learning: Modules, Networks, and Geometries
- New lower bounds for binary constant-weight codes: $A(23,6,10)\geq 2979$ and $A(24,6,10)\geq 4214$
- Bounds and Limitations on Codes Achieving List Recovery Capacity
- A Splitting Architecture for Exact Reduced Coulomb Friction
- Quasi-Monte Carlo Initialization for Meta-Reinforcement Learning
- Stronger Memory-Query Tradeoffs for Convex Optimization: The Limitations of Subquadratic Memory
- Roman Domination on Circular-Convex, Triad-Convex Bipartite Graphs and $P_4$-Tidy Graphs
- Local Search with Correlated Randomness
- One-step lowest-variance selection in a Gaussian random-field model motivated by masked diffusion: Total correlation and a square root collision threshold
- FlowSonic: Stable Zero-Shot Music Editing via High-Order Trajectory Integration
- Faster and simpler traversal of 0/1-polytopes
- Concentration and Mean-Square Bounds for Contractive Stochastic Approximation: A Unified Elementary Approach
- Optimizing the Preconditioner: A Black-box Online-to-Nonconvex Conversion with Static Regret Minimization Oracles
- PoLoRA: A Preconditioned Orthogonalized LoRA Optimizer
- Skew CRT codes and their decoding in poly skew metric
- Fixed Point Exploration For CV-QKD IR QC-MET-LDPC Toward Hardware Implementation
- fSRD: Fuzzy Spectral Region Decomposition -- Automated Multi Operator Koopman Representations via an Adaptive Spectral Learning Architecture
- Adaptive Mamba Neural Operators
- Totally Positive Matrices and the Highest-Order Coefficients of the Characteristic Polynomial
- A Continual Validation, Updating, and Decision-Making Framework for Self-Adaptive Digital Twins via Robust Model Predictive Control: A Case Study in Additive Manufacturing
- 0-Cyclic Equalizability of Binary Words Characterized by Hamming Weight
- Cyclic and Constacyclic Codes Over Z4+iZ4
- On the Diverse Dynamical Behaviors Arising in Deep Linear Transformers
- A Uniqueness Theorem for Exact Separable Log-Partition Decompositions
- Cofilling Shattering: A Syndrome-Support Hierarchy for Check Erasures
- Auditing Question-Order Effects in Large Language Models with the QQ Equality: Mechanism Characterization and a Saturation Caveat
- Topology in Synthetic Domain Theory and its Formalisation in Agda
- Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
- Grounded verification of chemical and materials reasoning: detection is the bottleneck
- Inference-Behaviour Semantics for All$^\ast$ Connectives in Two-Dimensional Sequent Calculi
- FST.ai 2.5: Explainable and Uncertainty-Aware AI for Olympic and Para-Taekwondo Decision Support, Athlete Digital Twins, and Federation-Scale Analytics