4,439 records
- Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions
- On Deterministically Computing Total Variation Distance via Zonotope Compression
- AWE: Adaptive Weight Encoding for Exact Integer Matrix Products with Fewer GEMMs on FP4 Tensor Cores
- The Endless Exam: Mathematical Constructions from Today's Models toward Superintelligence
- Poisson Exchange Beyond Submodularity: Effective Approximation Algorithms for Offline and Online Subset Selection over Matroids
- Polyhedral Methods for Cooperative Games: Small Lifts and Hard Faces
- Improved polynomial-time algorithms for detecting and recovering planted $Θ(\sqrt{n})$-cliques
- Complete Reductions and Idempotent Representations for $RΠΣ^*$-towers
- Equilibrium Numbers in Non-Square Bimatrix Games
- Dual-GNN Multilevel Coarsening for Maximum Independent Set
- Causal graph rewriting
- Deep Reinforcement Learning on Item-Compatibility Graphs for One-Dimensional Bin Packing
- Predictive Uncertainty for Neural CAE Surrogates
- PermuFormer: Multi-Task Pretraining for Permutation Representation in Algebraic Combinatorics
- Continuous Optimization for p-adic Models
- Hull Games of Induced Path Convexities in Graphs
- Blind Deconvolution of Binary and Pattern Images with Pixel Intensity Constraints and Sparse Gradient Prior
- Online Wideband MIMO Channel Reconstruction from Periodically Swept RBs via Incremental CP Updates
- Vector Balancing in Polynomial Time
- Contributions to the hierarchy of probabilistic languages
- A general counting and sampling Lovász local lemma
- Arc Kayles is PSPACE-complete
- Belted Engression: Sufficient Dimension Reduction for Generative Distributional Regression
- Iterative Atom Refinement: A Monotonicity Principle for Dictionary Learning
- Kadison--Singer partitions and Bilu--Linial graph signings in polynomial time
- Envelopes of upper bounds for nonbinary constant-weight and constant-composition codes
- Subspace coverings and generalized covering radii of generalized Zetterberg codes
- The Probabilistic Structure of Large Language Models
- Finite tight Blackwell approachability-to-improper phi-regret reduction in Lean
- Element-dependent buckling loads of stiffened panels under cantilevered shear
- Density-Driven Area Coverage for Nonholonomic Multi-Robot Systems with Safety Guarantee
- Multi-Armed Bernoulli Bandits via Minimax Single-Arm Stopping
- D-IMPL: A Diffusion-based Solver for Parameterized BBOs
- CurvFlow-DTA: dual-graph discrete Ricci curvature flow for drug--target affinity prediction
- CLEAR: Complex Learned Explicit Analytical Regularization for Ultra-Accelerated 4D Flow CMR Reconstruction
- On attention heads and bilinear forms
- Counting and Covering in Nearest-Neighbour Representations of Boolean Functions
- Exact Quotients of Fresnel-Kummer Surfaces and Certified Biaxial Refraction
- The Price of Self-Calibration: Exact Evidence Budgets and Manufactured Blind Sets in Adaptive Monitoring
- Transcript-Bound Combiners for Downgrade-Resilient Hybrid Post-Quantum Key Establishment: Definition, Proof, and Embedded-Device Cost
- Deep Reinforcement Learning with Buffered Quantile Objectives
- Critical sets of Latin squares based on autoparatopisms
- On the Fourier Entropy-Influence Conjecture for Boolean Plateaued Functions
- Logics of Filter Bubbles
- Tilt as a Certified Resource: Preserving Motor Wrench-Rate Authority on Articulated Multirotors
- Certificates for short extending words in a finite automaton
- Multiplicative Optimism for Constant Regret in Games
- COMPLEX: A Closed-Form Certified Embedding of Multiparameter Persistence Modules
- Spherical Harmonic Sliced Wasserstein Displacement Interpolation for Acoustic Source and Reflection Density Modeling
- Hermite-Fisher bounds and stability for min-entropy power inequalities