4,439 records
- Latency Decoupling in Low-Feedback Multi-User Networks via Overhearing-Driven NOMA
- Subreflexive Logic: Completeness without Identity
- Maximum independent queen set on polyominoes is NP-complete
- Global Convergence of DGM and PINN Algorithms for Solving Nonlinear PDEs
- Amortising Trajectory Optimisation for Residual MPC via Implicit Contact Differentiation
- Generative Distributionally Robust Optimization
- Geometric $(1+\varepsilon)$-Spanners with Few Crossings
- FIRMGrasp: A Friction-Informed Risk Margin for Robust Grasp Synthesis
- Towards Robust Reinforcement Learning for Small-Scale Language Model Agents
- Score-Based Stabilization for Time-Dependent Problems
- Reactive 3D Motion Planning for a Franka Arm via Star-World Workspace Reshaping
- Optimal Sparsifiers for Minkowski Sums and Sums of Seminorms
- A Statistical Difference between Single-Layer Learning and Hierarchical Learning in Wide Neural Networks
- A Multi-stage Constrained Optimization Framework for Data-driven Problems
- Formalizing Flag Algebras in Lean
- Topological Data Analysis and Graph-Theoretic Approaches for Tennis Match Prediction
- Lossless Address Coding for Quantum Networks
- Additive Bases from Primitive Dyck Words: Regular Underapproximations, Motzkin Coding, and Digit Lifting
- DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory
- Optimal Reward Shaping: Autonomous Car Parking Case Study
- Engineered Complete Intersections: Algorithmic Aspects
- Set-defined graph classes: $χ$-boundedness meets tropical algebra
- Scale Weight Decay and Train Better
- Stability in stochastic hypergraph matching I: necessary and sufficient criteria
- GNN-based Multi-Agent Control of Traffic Shockwaves in Sparse Vehicular Ad-hoc Networks
- Randomness Conservation Inequalities; Information and Independence in Mathematical Theories
- Cyclotomy, External Difference Families, and Algebraic Manipulation Detection Codes
- Exact Reachability by Positive Vertex-Centroid Moves
- Finite-Time Analysis of the Natural Policy Gradient in Finite-Horizon Markov Decision Processes
- Online Policy Evaluation for MDPs with Dynamic UBSR Measures
- Multiparameter counting of numerical semigroups: recurrences and leaf-discriminating trees
- Reasoning about Continuous-Variable Quantum Systems
- Infinite Canons: Maximally Self-Similar Melodic Lines and Canons with Infinite Solutions
- From Score Learning to Discretized Sampling: An End-to-End Generalization Analysis of Diffusion Models
- When Can Depth Replace Precision? A Resource Theory of Quantized Neural Computation
- Guarantees on Dynamical System Distinguishability for LLM Token Generation
- Foundations of Stochastic Lexical Calculus: Semantic Descent and Random Dynamics on Probability Simplices
- Remedying Coarsening-Based GNN Training under Heterophily via Adaptive Complementary Enhancement
- Learning Population-Level Dynamics through a Latent Fokker--Planck Model and Discrepancy Transport Maps
- On the Convergence of Stochastic Low-Rank Adaptation
- A Smooth Phase-Separation Model for Weak-Boundary Segmentation of Homogeneous Structures
- HyperLogLog for probabilists
- From level set evolution to threshold optimization: A grayscale level set framework for image segmentation
- Efficient Spatial-Spectral Feature Extraction in Hyperspectral Images via Holistic Multivariance Decomposition
- On the Maximality of Additive Codes
- Beyond Negative-Ridge Endpoints: Mixed-Sign Spectral Regularization via Negative-Shifted Gradient Descent
- Structured Coordination Games on Planar Graphs: a Dual Approach
- Learning from the Descent Direction: Adaptive Gradient Descent under One-Sided Hölder Regularity
- Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)
- TwistedMerge: Certified Higher-Order Diagnostics and Abstention for Model Merging