4,439 records
- When Both Layers Learn: Training Dynamics of Representing Linear Models via ReLU Networks
- Activation Steering of Video Generation Models via Reduced-Order Linear Optimal Control
- Tree-Based Formalization of Multi-Agent Complementarity in Human-AI Interactions
- The Preisach Extremum Stack is a Shannon-Minimal Sufficient Statistic for Rate-Independent Functionals
- Uncertainty-Aware End-to-End Co-Design of Neural Network Processors: From Training and Mapping to Fabrication
- Deep Embedded Multiplicative DMD for Algebra-Preserving Koopman Learning
- Temporal Cliques Admit Linear Spanners
- The Extremum Stack as Optimal Memory for Rate-Independent Sequence Models: Information-Theoretic Foundations and Online Complexity
- Sharp Low-Degree Thresholds for Planted-vs-Planted Testing
- Oblivious Learning and Collusive Pricing
- Mamba-Assisted Non-Markovian Closure for Reduced-Order Modeling
- Unlocking Exponential and Unbounded Robust Gains in Shannon Capacity of Classical Multiple Access Channels with Causal CSIT via Quantum Entanglement Assistance
- Sharp First-Order Lower Bounds for Higher-Order Smooth Nonconvex Optimization
- Polynomial-time satisfiability for a special case of Positive$\wedge$Negative
- CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair
- Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory
- Hybrid Dynamics Modeling for a Flexible 2-DoF Robotic Arm
- Neural Networks Provably Learn Spectral Representations for Group Composition
- Local and Global Contraction Principles for MCMC Mixing
- Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem
- Critical evaluation of PINN for FWD inverse analysis and differentiable FEM as an alternative
- Quantum-Classical Equivalence for AND-Functions
- Let There Be Light: Reflection, Refraction and Scattering for Neural Operators
- Classification of independent sets in signed Johnson graphs and applications to kissing arrangements
- Reflective Numeration Systems I: a Global Standpoint
- A calculus of types in Isbell nuclei
- Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents
- Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents
- A Voxel-Based Quantum Computing Method (VBQC) for Solid Mechanics Problem
- How Many Trees in a Random Forest? A Revisited Approach with Plateau Search and Optuna Integration
- Analytical Evaluation of DCA Convergence Properties for Minimizing Prediction Functions of Gaussian RBF Support Vector Regression
- Graph Regularized Non-negative Reduced Biquaternion Matrix Factorization for Color Image Recognition
- Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories
- Network node immunization: improving Netshield algorithm through random rooted forests
- Low-rank Distributional Matrix Completion
- Structural properties of the implicit function defined by an integral self-consistency equation
- Derivative Informed Learning of Exchange-Correlation Functionals
- PE-MHL: Physics-Encoded Modular Hybrid Layers for Scalable Learning of Complex Systems
- An LLM-Explainable DRL Framework for Passenger-Directed Autonomous Driving
- FlipItRight: Stable Pose-Targeted Throw-Flip Across Diverse Objects
- Stochastic convergence of parallel asynchronous adaptive first-order methods
- Parallelizing Large-Scale Tensor Network Contraction on Multiple GPUs
- Continual Learning as a Multiphase Moving-Boundary Problem
- Entropy Bounds for Local Coordination and Graph Amenability
- A Simple Hierarchical Causality Primer
- Network Learning with Semi-relaxed Gromov-Wasserstein
- Exact Sampling of Permutations with a Fixed Longest Increasing Subsequence
- $γ$-CounterBoost: Optimizing response time tails using job type information only
- Multidimensional Reconciliation in Continuous-Variable QKD: Review, Coding Schemes, and Open Source Simulation
- A Mathematical Conflict Framework for Contextual Data Modulation