4,439 records
- Recurrent neural networks approximate continuous functions
- Agentic AutoResearch forSpace Autonomy: An Auditable, LLM-Driven Research Agent for Aerospace Control Problems
- Evolutionary Two-Stage Hyperparameter Optimization Strategies for Physics-Informed Neural Networks
- Agentic Symbolic Search: Characterizing PDEs Beyond Hand-crafted Expressions, Meshes, and Neural Networks
- The Token Is a Group Element: On Lie-Algebra Attention over Matrix Lie Groups
- Optimal Deterministic Multicalibration and Omniprediction
- Study on Quantitative Dynamic Epistemic Logic for Belief Revision
- Multiword Arithmetic and Parallel Computing
- NektarIR: A Domain-Specific Compiler for High-Order Finite Element Operations on Heterogeneous Hardware
- $Ω$: Operator-based Mixture Ensemble for Generative Assimilation
- Learning-Based List Sequential Belief Propagation Decoding of Quantum LDPC Codes
- Can Quantum Receiver Beat the SIC Limit in Multiple Access Networks?
- Bayesian Predictive Synthesis for Dynamic Networks: Forecasting and Identifying Structural Mechanisms
- Agentic Publication Protocol: An Attempt to Modernize Scientific Publication
- Covert Block-Activity Information Transmission over Thermal-Loss Bosonic Channels: Latency--Payload Limits and Finite-Key Achievability
- Fair Online Resource Allocation
- Differential Equation Inductive Robustness Axiomatization
- Two-Phase Bilevel Search for the Moving-Target Traveling Salesman Problem with Moving Obstacles
- A Neural Network Framework for Geodesic-Like Curve Computation on Parametric Surfaces
- Monadic dependence from reducts, and applications to twin-width of oriented graphs
- Completeness for Probabilistic Boolean Tapes
- Compute Efficiency and Serial Runtime Tradeoffs for Stochastic Momentum Methods
- Evaluating Rust for Sparse Matrix Kernels in Scientific Computing
- NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning
- Ricci flow for the Bures--Helstrom qubit metric
- Interactive Pareto navigation for deep multi-task learning
- Evidence-Aware MapReduce for Forkable Compute
- What Your Model Threw Away and Why You'll Want It Back: Masking, Fingerprinting, and Privacy from Discarded Geometry
- Warm-Start Interior-Point Methods for Online Second-Order Cone Programming
- Memory-Efficient Meta-Reinforcement Learning for Adaptive Safety-Critical Control in Adversarial Spacecraft Proximity Operations
- Generalization Guarantees for Multi-Input Neural Operator Learning in Sobolev Spaces
- Operator Boosting Produces Pareto-Efficient PDE Surrogates
- Non-negative Matrix Factorisation with Topological Regularisation
- Spectral recovery of a planted triangle-dense subgraph
- Information-Theoretic Meta Dynamic Programming for Signalling and Control of POMDPs
- Counterexamples to Wegner's Conjecture for Rectangles
- Reference-Space Reuse for Steady and Transient State-Constrained Conjugate Heat Transfer
- Ergodic Deviation-Robust Equilibrium under Mirror Descent Learning in Finite Games
- PDECheck: A Diagnostic Software Suite for Auditing Learned PDE Simulators
- Denoising Distances in Metric Measure Spaces
- Mixed-Precision Communication-Avoiding SGD for Generalized Linear Models on GPUs
- An alternative way of defining finite graphs
- Escape from Delusional Echo Trap: Symmetry Breaking, Stochastic Dynamics and Mathematical Mitigation Strategies for Algorithmic Sycophancy
- When do Mixed-Integer Games Admit Rational Equilibria?
- Phase-field analysis of fracture in heterogeneous wellbore systems: effects of casing eccentricity and cement-formation interface strength
- An Asymmetric Formula for Interval Consonance and its Relation to Harmonic Coincidence
- TNODEV: Toolbox for Neural ODE Verification
- RepNN: Tackling spectral bias in deep neural networks for regression and PDE problems via parameter reparameterization
- Walking on Heat Stars for Parabolic Heat Equations with Neumann Boundary Conditions
- On the Entropy Formula for Real, Complex, and Quaternionic Deep Linear Networks