4,439 records
- Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
- Unleashing LLMs in Bayesian Optimization: Preference-Guided Framework for Scientific Discovery
- Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
- Ringmaster LMO: Asynchronous Linear Minimization Oracle Momentum Method
- The Symmetries of Three-Layer ReLU Networks
- Proximal basin hopping: global optimization with guarantees
- Dynamic robotic cloth folding with efficient Koopman operator-based model predictive control
- Spherical Harmonic Optimal Transport: Application to Climate Models Comparisons
- Generative Adversarial Learning from Deterministic Processes
- Pointwise Generalization in Deep Neural Networks
- The Sharma-Mittal Entropy is Subadditive and Supermodular on the Majorization Lattice
- Democratizing Large-Scale Re-Optimization with LLM-Guided Model Patches
- Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
- Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances
- A Heuristic Approach for Performance Tuning in RL-based Quadrotor Control via Reward Design and Termination Conditions
- Vocabulary-size-independent Convergence of Discrete Diffusion Models: adjoint equations induce the right space
- CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean
- Module Lattice Security (Part III): Structured CVP Distance on the Log-Unit Lattice
- WinQ: Accelerating Quantization-Aware Training of Language Models Around Saddle Points
- Explicit cost analysis of Toom-4 multiplication for incomplete NTT in lattice-based cryptography
- Form and Function: Machine Unlearning as a Problem of Misaligned States
- Exact Convex Reformulations of Linear Neural Networks via Completely Positive Lifting
- Stability and Discretization Error of State Space Model Neural Operators
- Information Redistribution Under Reductions in NP Search
- Propagation of Chaos in Contextual Flow Maps
- quantum-safe: Bridging the Post-Quantum Production Gap with a Hybrid-by-Default Python Cryptography Library
- Classification aggregation: a quantitative impossibility theorem
- Stress-Testing Neural Network Verifiers with Provably Robust Instances
- The Geometry of Projection Heads: Conditioning, Invariance, and Collapse
- Neural Point-Forms
- Bayesian Sequential Verification for Budget-Aware Quantum Program Testing
- The Privacy Subsidy: Kyle's $λ$ under Noise-Perturbed Order-Flow Observation
- Optimizing Line Segment Inspection with Limited-Range Drones
- Exploration of $k$-edge-deficient temporal graphs in linear time
- Complexity of Non-Log-Concave Sampling in Fisher Information
- Skew Constacyclic Codes Of Length $np^s$ over $ \frac{\mathbb{F}_{p^m}[u]}{\langle u^k \rangle}
- Entropy Across the Bridge: Conditional-Marginal Discretization for Flow and Schrödinger Samplers
- Covert Bayesian Quickest Change Detection
- Hypothesis-driven construction of mesoscopic dynamics
- Learning from Totally Unpaired Data via Minimum Conditional Entropy Coupling
- Multiscale Supervised Unbalanced Optimal Transport Flow Matching
- Does Weight Decay Enhance Training Stability?
- Multi-Headed Transformer Architectures as Time-dependent Wasserstein Gradient Flows
- On the transversals of Latin squares generated by nonlinear bipermutive cellular automata
- An Axiomatic Theory of Tie-Breaking: Impossibility, Characterization, and Decomposition
- The Geometry of Cooperative Game Solutions: Stratified Egalitarian Shapley Values
- The 2M Multiplication Algorithm for Complex Matrices
- Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
- Quantum Advantage in Multi Agent Reinforcement Learning
- Policy Optimization in Hybrid Discrete-Continuous Action Spaces via Mixed Gradients