4,439 records
- Mechanizing Gödel's Incompleteness Theorems and Provability Logic
- Benchmarking Optimizers to Solve Inverse Problems with Differentiable Physics Simulators
- The Interconnectedness Coefficient: A Semi-Local Graph-Theoretic Measure for Connector Vertices between Cohesive Network Regions
- A Novel Approach to Counterexamples of the Polujan-Pott Conjecture via Set-Partition Permutations
- Symmetric Models for Syndrome Decoding
- On the Complexity of Finding Fixed Points for Set-Valued Contractions
- Non-Terminal Complexity of Simple Semi-Conditional Grammars
- Linear Programming Bounds for Locally Recovery Codes II
- Grid-Free Monte Carlo for Time-Dependent Diffusion
- LoRA-RC: Reservoir Computing with Low-Rank Adaptation
- Spatial Mixing and Deterministic Approximate Counting of Multi-spin Systems beyond Bounded Degree Graphs
- Exact Community Recovery in Bipartite Networks
- LettuceVisSim: A Simulator That Generates Lettuce Image Time-series for Vision-Based Reinforcement Learning
- SIMS: Scale-Invariant Merit-Function-Based Scalarization for Multi-Task Learning
- Convergence of Stochastic Gradient Methods under Heavy-Tailed Noise and Hölder Smoothness
- Transducer Placement and the Limits of a Four-State Reduced Model in Post-Flutter Piezoelectric Energy Harvesting from a Pitch-Plunge-Flap Aerofoil
- Quantile-based Loss Filtering for Outlier-Robust Stochastic Gradient Descent
- Rank-1-perturbed trickledown theorems: Mixing time of Glauber dynamics for the Sherrington-Kirkpatrick model up to $β\leq \frac{1}{2}+\varepsilon$
- NOC NOC, who's there? Clustering systems of tree-child and normal networks
- A Four-Connected Graph without a Legal System
- Differential Realizability of Static Control Allocation in Multirotors: An Impossibility under Nonredundant Full Actuation and a Pseudoinverse Obstruction under Redundant Actuation
- Energy-aware frugal Bayesian optimization
- Almost Linear Universal Point Sets for Planar Graphs
- EGGROLL, Unrolled: Understanding and Improving Low-Rank Evolution Strategies at Scale
- A deterministic $(1+\varepsilon)^n$ approximation for the permanent of a nonnegative matrix
- Convex Optimization with Nested Evolving Feasible Sets (CONES) under Time-Varying Loss Functions
- Diversity of EML-type operators
- Polyhedral Geometry of Time-to-First-Spike Neural Networks
- Max Independent Set Remains NP-hard when Excluding a Planar Induced Minor
- Rice's Theorem under Self-Modification: Elevation Operators and a Normal Form
- Near-Gaussian counterexamples to the Ball-Nayar-Tkocz entropy concavity conjecture
- Statistical Symmetry Release for Equivariant Quantum Learning
- Medvedev Logic is Not Decidable. It is π01 -complete. Who Would Have Guessed?
- Some results on Archdeacon's conjecture for rotation systems
- AdamX: Cosine similarity meets gradient descent
- Reinforcement Learning for Syndrome Extraction
- Deriving the Pure Price of Anarchy for Networked Resource Allocation Games
- Score-based Outlier Generation via Controlling the Radon-Nikodym Derivative
- Almost Sure Convergence Analysis of Stochastic Gradient Methods with Clipping and Additive Noise
- Rank-Efficient LoRA via Joint Tangent-Space Optimization under Isotropic Curvature
- A Catalogue of Properties of Binary Relations: Entailments, Incompatibilities, and Independence Results
- Computing Stationary Equilibria in Measure-Dependent Markov Systems
- Irreducible improper phi-regret in Lean
- Conditions for Global Optimality in Quantum Arimoto-Blahut Algorithms
- A practical DIRECT-type algorithm for medium-scale black-box global optimization
- Online Inverse Integer Linear Optimization via Small-Gradient Skipping: Constant Regret and Finite Mistakes
- Meta-LinEXP3: Online-within-Online Learning for Adversarial Linear Contextual Bandits
- Quantum MDS codes from complements of unions of finite-field subsets
- Minimum-makespan completion and vertex selection leave the Wang-Sitters constant at 11/6
- Joint nonlinearity in a stiffened aluminium wingbox panel and what it requires of a reduced basis