4,439 records
- Sharp reset thresholds for bounded-response synchronization games with a sink
- Deciding two-variable logic with global and local Presburger quantification
- LLM-Assisted Optimization for Simulation-Based Redesign
- There Is No Free Lunch in RLVR: Every pass@1 Gain Has a pass@k Price
- A Uniform Upper Bound on the Length of MDS Codes from Genus-Two Curves
- Information-Driven Collaborative Autonomy for Heterogeneous UAV/UGV Teams
- QSoftCore: A Conceptual Foundation for Quantum Software Engineering
- Safe Multi-Objective Reinforcement Learning: Zero Constraint Violation and Primal-Averaging Convergence
- Dobb: Shard-Local Preconditioning in Block-Diagonal Eigenbases
- SeQUeNCe.DQC: Full-stack Simulation of Distributed Quantum Computing
- Automated Verification of Hamiltonian Simulation by Quantum Signal Processing
- Emergence of the transformer architecture as the score of entropic laws of random measures
- Implicit Bias of (Stochastic) Gradient Descent on Deep Linear Diagonal Networks
- Going deep, reaching further: What can Boltzmann machines efficiently represent?
- Step Recursion: Rational Strides and Exact Inclusion Orders over the Reals
- Four-Coloring Planar Graphs in Linear Time
- Step Recursion: Exact Membership Spectra, Mixed Strides, and Collapse
- Exact Avoid-or-Compress Extrema for Dense Reachable Images: Defects Four and Five
- From Trees to Binary Trees: Approximation Algorithms and a PTAS
- Data-driven Random-feature Approximation of Koopman Generators of Nonlinear Continuous-time Systems
- Block-exchange descent for insertion: commuting projections and minimum masks
- Level Crossing Rate Bounds for Products of Independent Nonstationary Fading Processes
- When to spend privacy: optimal allocation in private learning
- One Polynomial Field for Every Euler Step and the Flow: Polynomial Dynamics for P and PSPACE
- Half-Optimal Induced Matchings in Random Graphs: Online and Low-Degree Algorithms
- Beyond Selected Breakthroughs: Evaluating Language Models on Randomly Sampled Mathematical Conjectures
- First-Order Bilevel Optimization for Non-truthful Auction Design
- Adaptive search with path-constrained mobile sensors using multi-arm bandits
- Cubic lower bounds for the permanent in odd characteristic, for Pfaffian representations, and for polynomial entries
- Zero-freeness for Random Regular Graphs up to the Replica Symmetry Breaking Threshold
- Directed Cut-Query Complexity of Finding a King
- Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
- Power Adjusting Games Under Block-Dependent Pool Payout Schemes
- Nearly-Optimal Time-Sample Trade-off in Consensus Dynamics
- Collaborative AI agents for autonomous experimental research with solid-state quantum spins
- On Zeros and Algorithms for Disordered Systems II: The Antiferromagnetic Ising Model up to Kesten-Stigum
- On the scope of computability and formal axiomatic systems
- Subexponential Weighted Counting and Exact Optimisation
- Deterministic Factoring in Time $N^{o(1)}$
- What Does the Refutation of the Exponential Time Hypothesis Mean for Learning Theory?
- Universal Support Theorems for Resilient Coverage
- Automated Conjecturing: Generation, Selection and Evaluation
- Graph isomorphism in quasipolynomial time on a single-tape Turing machine
- Minimum-Time Escape from the Conic Field of View of a Reeds--Shepp Pursuer: the Faster Evader
- DecompGym: Benchmarking LLM Agents on Designing Decomposition Algorithms
- Convex-SKM-Net: Low-Latency Block Halfspace Corrections for Neural Convex Constraint Satisfaction
- Averaged Annealed Markov Chains Achieve the Algorithmic Threshold for Tensor PCA, Part II: Langevin Dynamics
- A Hybrid Physics-informed holomorphic neural networks Method
- Game-Theoretic Foundations for Undiscounted Bisimulation Metrics
- Accelerating Nonlinear MPC by Behavior Cloning with Separated Timescales: Application to Nuclear Reactor Load-Following