4,439 records
- The Deterministic Hare Core Is Nonempty for Nine-Seat Approval Elections
- An Energy-Based Conservative-Dissipative Latent Neural Evolution Operator for Magnetization Dynamics
- lennrt/palomar-formalizations
- lennrt/palomar-formalizations
- InKAN: B-Spline KANs via Truncated Power Form
- Multi-Turn LLM Conversations under the Least-Recently-Used Policy: Mean-Field Asymptotics and Hit Ratio Approximation
- Instance Optimal Sparse Recovery from Nonlinear Observations: A Unified Framework
- Exact Limits of Random Projections for Preserving Geometry: Distance Recovery, Nearest-Neighbor Rankings, and Covariance Shape in Gaussian Models
- A meshfree solver for coupled bulk-surface problems with self-organizing surface geometry
- Almost Linear 3-Spanners of Temporal Cliques
- GRADSOLVE: fast exact gradients for ODE ensembles on GPUs
- SparseStack Is an Optimal Oblivious Subspace Embedding
- TRACE: A spatiotemporal contact memory graph network simulator for granular dynamics
- No-Regret Bayesian Optimization with Finite-Library Input-Warped Kernels
- Recursive overlap Bernoulli distributions and an entropy concavity conjecture
- Independent Reinforcement Learning in Discounted Markov Games
- Why Multi-Layer Message Passing Works: Completeness Theory for Graph Neural Network Interatomic Potentials
- Comparison of Algebraic Block Multi-Coloring and Leiden Methods for Parallel Preconditioning in the ICCG Method
- Graph Coloring with Color Preferences
- Separating perception from reasoning in vision-language models: a model-free render ceiling for crystal structures
- FTU-Seek: Foundation Model-Guided Hard-Negative Learning for Sparse Functional Tissue Unit Segmentation
- SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification
- Subspace Levenberg Marquardt Algorithms in Training Neural Networks
- The Indefinite Summation Problem for the Laurent Ring
- The Multiple Timescales of Gradient Descent on the Edge of Stability: A Perturbative Derivation of the Central Flow
- Spawn Freely, Act Sparingly: Progressive Risk Vesting for Recursive LLM-Agent Trees
- A Dynamic Intermediate Representation for Hybrid Quantum-Classical Programs
- From Truncation to Commitment: Persistent Context in Uniform Discrete Diffusion
- QILP-0: Constructing Observational Declarative Twins of Quantum Circuits
- Behavioral Memory under Symmetry in One-Way Quantum Automata
- Binary Multiple-Node-Erasure-Correcting Codes over Complete Graphs: Constructions, q-Ary Metric Balls, and Duality
- Reinforcement learning to choose optimizers
- Comments on the recent improvements of the MRRW bounds
- Native Lean equality-saturation certificate checking
- Proof-Carrying Decreasing-Diagram Confluence Certificates
- Arrow's theorem via Fourier analysis
- Exact Recovery Thresholds for Weighted Data Selection in Vector-Valued Linear Regression
- Strengthening Recursive Constructions for Zero-Error Shannon Capacity
- Unfolding Overlaps of the Exceptional Regular Polytopes
- Convergence rates for the RMSprop optimizer with full control of the hyperparameters
- Inherent Trade-offs when Enforcing Correct Data Symmetries in Multi-head Self-attention
- From Metaheuristics to Exact Methods: A CP-SAT Approach for Multi-Objective Healthcare Workforce Scheduling
- Trajectory-Initialized Neural Double Q-Routing for Large-Scale Overhead Hoist Transport Systems
- Learning-Assisted Congestion-Aware Route Scheduling for Semiconductor Fab Material Control Systems
- Curves of constant width and Lebesgue's covering problem
- Kolmogorov--Arnold against bounded translations
- The Cayley Completion of a Graph
- Scaled Null-Adjusted Persistence: A Multiscale Bridge between Modularity and Persistence
- Breaking the Exponential Barrier: The First Polynomial-Time Algorithm for the Győri-Lovász Theorem
- Asymptotic Bounds on Generalized Covering Radii of Binary Primitive BCH Codes