4,439 records
- Matrix multiplication: omega at most 9/4 over every ring
- Pairwise Compatibility Graphs of Unweighted Caterpillars
- Mixing Regularization for Average-Reward $Q$-Learning and $Q$-Planning
- Training-Free Multi-Agent Cooperative Embodied Search from Uncertain Vision-Language Priors
- Almost every Boolean function has central threshold degree
- RELAGRAM: Recursive Latent Graph Model for the Capacitated Vehicle Routing Problem
- AI-Mediation in Retail Markets: Revenue Effects and Assortment Optimization
- Dynamic Matching with Abandonment: Optimal Guarantees via Static Priority Policies
- Structure-Aware Online Optimization of the Age of Information with Unknown System Statistics
- Polynomial directed treewidth forces a large bramble with congestion two
- Sustainable Cloud-Fog-Edge Systems for Smart Buildings: Algorithmic Adaptation under Memory Constraints and Dynamic Orchestration Strategies
- Private and Distributionally Robust Federated Multiclass Classification
- Randomized Momentum Transport with Cheap Predictors
- QTestBench: A Test Framework for Evaluating LLM-Generated Quantum Code
- Fundamental Limits of Covert queueing under Busy-Period Observations
- Bipartite Carrier Compression and Machine-Certified Bounds in Schönhage Trilinear Multiplication Tensors
- Decentralized Bandit Learning of Markov Perfect Equilibria
- On the Depth Transfer of Neural Optimizers via L-Smoothness
- Parameter misspecification in physics-informed neural networks: A closed-form audit and its limits
- From Snapshots to Processes: Dynamic Contact Algebras as a Foundation for Process-Oriented GIS
- MaxSNP-completeness and APX-completeness of MAX-3-SAT and 3-OCCURRENCE MAX-3-SAT (the PCP theorem and hardness of approximation) in Lean 4
- From Geometry to Generalization: Why Row Normalization Can Beat Adam and Muon
- Deflating the Hessian: Rank-4 W4A4 Quantization for Multimodal Diffusion Transformers
- Rare Gate Disagreements Can Limit Plasticity: When Gradient Flow Mispredicts Finite-Batch SGD
- A QPTAS for Stochastic Scheduling of Bernoulli Jobs
- Certifying Hidden Paths: Scalable Topology Assurance for QKD Networks
- From an entropic inequality for sums in abelian groups to the theorems of Ruzsa and Plünnecke
- Spectral Weight Decay: Inducing Low-Rank Structure in Neural Network Weights
- Understanding Latent-Dimension Scaling in Dynamical-System Learning through Spectral Reliability
- Breaking linearity in the sum-rank metric: MSRD codes from switched $σ$-rational normal curves
- Formally Certifying the Vertex Set of a Polyhedron Faster than Informal Enumeration
- Large-Scale Benchmarking of Quantum Neural Network Configurations for Financial Time Series Forecasting
- The Geometry of Hierarchical Navigation: Accuracy and Query Cost for Point Process Input
- Composite Online-to-Nonconvex Conversion with Optimal Oracle Complexity
- asdex: Automatic Sparse Differentiation in JAX
- Bilevel optimization for data-driven learning of Koopman embeddings using kernel-based autoencoders
- Tiling 3D by Translates of a Single Polycube is Undecidable
- Coupling Independence Implies Zero-Freeness
- Fix What's Wrong, Keep What's Right: Hallucination Repair for LLM-Based Optimization Modeling
- Transformer-Based Masked Diffusion Models Provably Learn Distributions with Latent Structure
- Maximal Linear Arrangement is NP complete on Bipartite Graphs
- Mesh-Native Tokenisation: Retrofitting Foundation Models to Unstructured Data
- Tandem Queues with Hybrid Abandonment in Heavy Traffic
- Coordinate-Free Automatic Differentiation
- The weight enumerators of irreducible cyclic codes of length $2^\ell$
- A Verified Constructive Reduction of the Cook-Levin Theorem in Lean 4: Bridging the Gap Between Complexity Theory and Formal SAT Encodings
- Improved exponents for 3SUM and APSP from triangles in sparse lopsided graphs
- Matrix multiplication exponent at most 9/4 over arbitrary fields
- The Symbol of the Surrogate: Measuring Numerical Provenance in Neural PDE Solvers
- Global Exponential Convergence of Two-Layer Linear Network Training