4,439 records
- Global Optimality for Constrained Exploration via Penalty Regularization
- Wasserstein Distributionally Robust Regret Optimization for Reinforcement Learning from Human Feedback
- Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
- The speed of convergence in the Cooper-Dutle dueling game
- Fidelity-Guaranteed Entanglement Routing with Distributed Purification Planning
- High-Probability Convergence in Decentralized Stochastic Optimization with Gradient Tracking
- A Dirac-Frenkel-Onsager principle: Instantaneous residual minimization with gauge momentum for nonlinear parametrizations of PDE solutions
- Data Deletion Can Help in Adaptive RL
- A Review of the Receiver Operating Characteristic Curve and a Proof About the Area Beneath It
- Scenario-driven optimization of passive vehicle suspensions: explaining the effectiveness of asymmetric damping
- Topology-Aware Representation Alignment for Semi-Supervised Vision-Language Learning
- A Matrix-Free Galerkin Multigrid Solver and Failure-Mode Screen for Single-GPU 3D SIMP Linear Systems
- Full band denoising of room impulse response in the wavelet domain with dictionary learning
- Analytically Characterized Optimal Power Control for Signal-Level-Integrated Sensing, Computing and Communication in Federated Learning
- A Semantic Quantum Circuit Cache for Scalable and Distributed Quantum-Classical Workflows
- Approximating the Network Design Problem for Potential-Based Flows
- A Note on How to Remove the $\ln\ln T$ Term from the Squint Bound
- Exact Dynamic Programming for Solow--Polasky Diversity Subset Selection on Lines and Staircases
- Hyper Input Convex Neural Networks for Shape Constrained Learning and Optimal Transport
- Designing sparse temporal graphs satisfying connectivity requirements
- Universal Quantum Transformer
- Subspace Optimization for Efficient Federated Learning under Heterogeneous Data
- Arboretum.hs: Symbolic manipulation for algebras of graphs
- Teacher Forcing as Generalized Bayes: Optimization Geometry Mismatch in Switching Surrogates for Chaotic Dynamics
- Observable Neural ODEs for Identifiable Causal Forecasting in Continuous Time
- Lottery BP: Unlocking Quantum Error Decoding at Scale
- QASM-Eval: A Dataset to Train and Evaluate LLMs on OpenQASM-3 Beyond Quantum Circuits
- FedSLoP: Memory-Efficient Federated Learning with Low-Rank Gradient Projection
- QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
- A Limit Theory of Foundation Models: A Mathematical Approach to Understanding Emergent Intelligence and Scaling Laws
- A Complexity Dichotomy for Edge Subdivision to $H$-Free Graphs
- Identification to Subclasses of Chordal Graphs
- Scalable First-Order Interior Point Trust Region Algorithms for Linearly Constrained Optimization
- NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
- A Functorial Formulation of Neighborhood Aggregating Deep Learning
- Query-Efficient Quantum Approximate Optimization via Graph-Conditioned Trust Regions
- VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis
- BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
- Unsupervised Learning for AC Optimal Power Flow with Fast Physics-Aware Layer
- Partition-of-Unity Gaussian Kolmogorov-Arnold Networks
- Hamiltonian Graph Inference Networks: Joint structure discovery and dynamics prediction for lattice Hamiltonian systems from trajectory data
- Strategically Robust Aggregative Games
- Necessary and sufficient conditions for universality of Kolmogorov-Arnold networks
- Playing Dice with the Universe: Programming Quantum Computers to Play Traditional Games
- Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
- The Network Structure of Mathlib
- Conformal tubular parameterization and toroidal bending of tube-like surfaces
- On the hull of linearized polynomial codes
- A Topology fixated Shape Gradient Framework for Non Simple Boundary Extraction for CIE Lab color images with Repulsive Energy
- A Linear-Time Algorithm for Finding an Odd/Even Cycle Through Two Specified Vertices