4,439 records
- On the Tightness of Standard Relaxations for Mixed-Integer Bilevel Linear Programs
- On the Limits of Quantum Multiparty Simultaneous Communication
- Quantum Feature Engineering for Credit Default Prediction: When and Why IQP Circuits Help Linear Classifiers
- Subexponential Approximation of the Permanent in Deterministic Polynomial Time
- Certifying Lower Bounds for Risk-Sensitive Reinforcement Learning under Adversarial State Perturbations
- Structural Properties of DomiRank Centrality: Symmetry Axioms, an Entropy Bound, and Spectral Interpolation
- Verified external-to-swap regret reduction and correlated-equilibrium solver
- Hyperspectral Anomaly Detection via Group Sparse Low-Rank Tensor Factorization With Automatic Anomaly Grouping
- Sparse Data Augmentation for Optimization with Provable Guarantees
- GPU-Enabled Large-Scale Optimization Using Randomized Linear Algebra
- Beyond Cut Balance: Spectral Sparsification of the Nonlinear Directed Laplacian
- An Elementary Proof of the $\widetilde O(n^{1/3})$ Bound for Separating Words
- Asymptotically good binary triorthogonal codes and higher-level transversal gates
- Finite-Modal Realization and Operator-Norm Convergence of a Source-to-Observation Electromagnetic Scattering Green Operator
- Adaptively Incorporating Directional Hints into Zeroth-Order Optimization
- Certified Topological Interaction in Neural Representations: Exact Tests and the Statistic They Require
- Linear programming bounds for binary and ternary LCD Codes
- PAC-Bayesian Bounds for Learning Partially Observed Stochastic Linear Time-Invariant State-Space Systems with Inputs and Sub-Gaussian Noise
- Graph-based automata
- High-Magnetization Sampling at Low Temperatures: Ising Models and Bayesian Sparse Linear Regression
- Sparse Walsh-Pauli Correlation Encoding for MaxCut: A Quantum-Inspired Formulation with Quantum-Hardware Validation
- Stability of Fork-Join Systems with Redundancy and Heterogeneous Servers
- On the Sequential Test and Distributed Detection
- Exact-Form Regret for Gradient Descent, Mirror Descent and Follow-the-Regularized-Leader
- Decoupling Evidence Sources in Paraconsistent Logic: A Generalized PAL2v Framework for Educational Assessment
- Finite correlated equilibria and regret certificates
- Verified regret matching and finite-time equilibrium computation
- Learning Adaptive SED for heterogeneous load balancing
- Constrained Online Learning with Noisy Constraint Values
- Equivalence of Fixed-Rank and Rank-One Even-Order Symmetric Tensor Factorization
- Conditional Fisher-Information Central Limit Theorems under Log-Concavity with Information-Theoretic Consequences
- Kolmogorov--Arnold stability for discontinuous functions
- Constitutive State-Space Modeling of Path-Dependent Plasticity: A Resolution-Consistent and Parallelizable Computational Framework
- A simple algorithm for computing Hamilton paths on independent set polytopes
- Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
- Algorithms for Finite Group Epimorphism Testing
- FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
- MpSub: A Momentum $p$-Dimensional Subspace Trust-Region Method for Derivative-Free Fine-Tuning of Large Language Models
- Buildability Assessment of 3D-Printed Concrete Structures Using Smoothed Mohr-Coulomb Plasticity with Isotropic Hardening
- Local gradient neural operator
- A Theoretical Analysis of Generalization Dynamics in Neural Networks under Gradient Descent with Weight Decay
- A Note on Binary Quadratic Systems and their relation to complexity theory
- CodeTD: Topology of Attention Detects Hallucinations in Code LLMs
- Poisson Image Denoising Using Minimax Concave and Reweighted $\ell_1$ Penalties: Nonblind and Blind Approaches
- Promises should be taken seriously: On relativization with promise problems
- Improved Integrality Gap for Multicommodity Flow on Trees
- Accelerating Fourier--Motzkin elimination: redundancy removal and the choice of variable elimination order
- Heat Field Signatures: From Point Clouds to Smooth Geometry
- Sharp Structure-Agnostic Minimax Risk for Partial Linear Models
- Mini-Batch Risk-Averse Deep Q-Learning: A Robot Navigation Case Study