4,439 records
- Multi-Fidelity Particle Flow Filters based on Log Homotopy
- The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation
- Computational complexity of the $H$-coloring problem in cubic graphs
- A Graph-informed Kriging model for sample-efficient Bayesian optimization of wind farm layouts
- Re-Ordering the Generalized Hofstadter Functions G, H, and Beyond
- Minimax-Optimal Small-Loss Bounds for Online Linear Optimisation on $\ell_p$ Balls
- Scaling and Renormalization in Neural Networks: An Effective Renormalization-Group Description of Grokking
- AHEAD: Adaptive Neural Acceleration for Large-Scale Linear Programming
- A Local Stabilized Isogeometric Formulation with Discontinuous Pressure for Mesh-Conforming and Immersed Analysis of Nearly Incompressible Elasticity
- Sorting networks on 13 inputs need 45 comparators
- MDS codes containing a fixed subcode over finite field extensions
- The Symmetry of Differential Neural Tangent Kernel under the Orthogonal Group
- Minimax Regret for Sobolev Kernel-Based Reinforcement Learning
- Non-Vanishing Determinant Space-Time Codes from Abelian Crossed Product Algebras
- A Lambda Calculus Based on Quantum Logic
- Asymptotic Rank of Complete Graph Tensors
- Logarithmic asymptotics for polynomial threshold functions
- Online Discrepancy of Sparse Random Vectors over Long Horizons
- Envy-Free Allocations for Random Non-Additive Valuations
- The German Tank Problem & Navigating by Scent
- Sparse Sum-of-Squares Layers for Certified Learning
- The Exponential Time Hypothesis is False
- Faithful Federated Tabular Data Synthesis
- Proof of the Langberg-Médard Multiple Unicast Conjecture
- Communication Complexity of Integer Matrix Singularity
- Physics-Informed Graph-Based Safe RL with Constraint-Specific Critics for Community Battery Coordination in Distribution Network
- Polynomial Residual Networks are Generically Identifiable
- Greedy Orthogonal Polynomial Manifolds with Lipschitz Control for Dimensionality Reduction and Reduced Modeling
- EnerGNN: Learning Optimization-Compatible Energy Functions for Exact Constrained Combinatorial Inference
- On the Propeller Conjecture
- Freeform Programmable Liquid Crystal Elastomers via Monolithic Integration of Co-Optimization and 4D-Printing
- Empirically Calibrated Differential Games for Simulating Driver Interactions
- Stable Set Reconfiguration in Dense Digraphs
- Sharpness-aware Orthogonalized Momentum Algorithms
- L0-Norm-Based CycleGAN for Unpaired Brain CT-to-MR Synthesis
- Deterministic Root-Finding over Finite Fields with Elliptic Curves
- Contextual Decision Making: Predictive or Generative
- A Linear Lower Bound for Convex Body Chasing in Every $\ell_p$ Norm
- Structure and Exact Certification of Nonnegative Tensor Decompositions
- Multiplicative vs. Additive State Coupling in Learned Optimizer Schedules
- Acyclic 2-edge-coloured graphs: polynomial-time linkages and colouring hardness
- Locally eventually onto cellular automata
- A Gaussian Process State Space Formulation for Materials Constitutive Modeling: Application to Quasi-brittle Materials
- Subgraph Isomorphism, Integer Linear Programming, and Lattices: A Linear Algebraic Framework
- Joint Service Depth and Priority Design in Queueing Systems
- Polynomial Fault Detection Without Bounded Width: Exact Reachable Sets in Priority Controllers
- Control flow obfuscation with irreducible loops and self-modifying code
- Temporal cliques admit spanners of size O(n log n)
- An FPT Algorithm for Maximum-Weight Independent Set in Embedded Graphs, in Lean 4
- Optimal Mixing for Local Edge-Coloring Dynamics on Trees