4,439 records
- The Power Watershed as a Differentiable Segmentation Layer
- Dimension-free exponential entropy quotients over $\mathbb{F}_2$
- On the Complexity of Computing with p-adic Lattices
- Estimating the number of nodes and paths in a DAG by following a random path
- Upper Bounds for CSP Non-redundancy via Locally Decodable Codes
- Rennala NSGD: Asynchronous Stochastic Optimization Beyond Euclidean Geometry
- All-even sets in $\mathbb{R}^2$ and $\mathbb{R}^3$
- Connecting Base-Extension Semantics, Beth Semantics, and Ecumenical Logic
- Tunable Spatial Task Allocation with Application to Maritime Swarms
- Exponential-Nemytskii Neural Operators: Learning Field Evolution Across Step Sizes
- Do Self-Improving Coding Agents Beat Textbook Baselines? Evidence from a Darwin Gödel Machine Port and Two Published Systems
- Group constructions cannot refute the Set Cover Conjecture, including tensor powers
- A Simple Presentation of Robust Membership Inference Attacks
- Underdamped Anchored Langevin Dynamics
- A Fibrational Framework For Multi-Conclusion Logics
- NextEval: An Agent-Based Solver and Benchmark for Derivative-Free Optimization
- QESChunker: A Single Objective Unifies Overlapping and Non-Overlapping Chunking for RAG
- Holomorphic Cauchy Networks for Efficient Stationary Tail Computation in High-Dimensional Reflected Brownian Motions
- Ancestor Lifting of Quasi-Cyclic Additive Codes and Certified Quantum Codes
- When do token systems stabilize? Compatibility constraints and community structure
- Generative Refinement Learning for Temporal Interpolation in Scientific Machine Learning
- From Walks to Skeletons: A Reusable Transport Architecture for Interactive Monte Carlo PDE Solvers
- Toward Circuit-Aware Mutation Testing for Quantum Programs: Exact Visibility and Execution Planning
- RePAIR: Inverting Backdoor Attacks in Semantic Segmentation
- A hyper-reduction strategy for elastoplastic hydro-mechanical problems in partially saturated soil
- GKS Fully Homomorphic Encryption: Security Analysis
- Matrix Samplers and Quantum-Proof Extractors: Their Correspondence and Almost-Optimal Constructions
- Para-Gaussian Approximations of Random Deep Neural Networks
- Code uniqueness of 4-cell connected disjoint clusters in spatial chromatic model
- Displacement Moments and Path-Terminal Separation in Brownian Interpolant Sampling
- Approaching Optimal Scaling of Queue Size for an Input-Queued Switch
- GNBG-C: A Unified and Configurable Benchmark Generator for Constrained Continuous Optimization
- MuonGS: Pretraining LLMs with Relaxed Weight-Norm Control
- Pooled Testing under Congestion: Operational Scaling Laws for Pool-Size Selection
- Enumeration Complexity of Permutation Classes
- SAG-Sep: Sparse Augmented Graphs and Onion-Guided Search for Rounded Capacity Cut Separation
- Some exposition of “The Exponential Time Hypothesis Is False”
- On counting satisfying assignments via polynomial separation
- A $2^{o(n)}$ Time Algorithm for 3-SAT
- The Art Gallery Problem is ∃ℝ-complete: point-point, boundary-point and point-boundary variants, in Lean 4
- Weak and strong βη-normalization in pure type systems with βη-conversion
- Beyond Deduplication: Sharp Retrieval Limits for Attention with Correlated Distractors
- Linear Hashing Is Poissonesque
- Large Language Models for Quantum Code Translation: An Exploratory Study
- Follow the Regularized Leader Does Not Converge in Constrained Optimization
- Understanding Practical Optimization in Machine Learning
- Antimagic Labeling of Central Digraphs Constructed from Loops
- Model reduction in time: Learning flow maps for reducing stochastic dynamical systems in time
- Proofs of strong forms of the Bovdi--Geche universality conjecture and a complex analogue
- SCAFFOLD under Hessian Similarity: Sharp Convergence Rates