4,439 records
- Intuitionistic Dynamic Logic
- A proof complexity perspective on effectively zero-knowledge proofs
- Automatic Ordinary Differential Equations Discovery For Biological Systems Using Large Language Model Powered Agentic System
- Microstructure-Conditioned Surrogate Models for Graded Multiscale Optimization of Mycelium Composites
- Precoding-based protocols for entanglement assisted linear computation over a quantum many-to-one network
- Dynamical Vehicle Orienteering Problem for Multi-Rotor Unmanned Aerial Vehicles
- CAS I: A Geometric Coding Theorem
- Online Random Sampling with Real Probabilities
- Partially Correlated Verifier Cascades in LLM Harnesses: Concave Log-Odds, Polynomial Reliability, and Blind-Spot Ceilings
- Backpropagation for Effectful Languages I: Finite Probability and Discrete Output Algebraic Effects
- Beyond the $d^{2.5}$-mixing bound for Dikin walks on polytopes
- Edge-decomposition into Two Triangular Forests is NP-complete
- An Epidemic Threshold Set for Networks
- Lyapunov Guidance: A Unified Framework for Stabilizing Generative Flows
- Accounting for Hysteresis and Eddy Currents in Finite Element Simulations of Ferromagnetic Laminated Cores using a Recurrent Neural Network
- Capacity of Uniform Noise Channels Under Average Input Power Constraints
- Unified Uncertainty Quantification Framework Bridging Noisy Quantum Backends Across Variational Quantum Algorithms and Quantum Signal Processing
- Double-Scoring: Reliable Extraction of Strong Lottery Tickets
- Hermitian Hulls of Cyclic Codes and Exact Dual Distances of Extended Linear Codes
- Rough Path Signature-Guided Geometry Augmentation for Few-Shot Industrial Surface Defect Detection
- Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
- A JoLT for the KV cache: Near-Lossless KV Cache Compression via Joint Rank-bit Allocation
- A 2.5D NURBS-Trace Infinite-Element Method for Moving-Load Wave Propagation and Soil--Structure Interaction in Semi-Infinite Ground
- Learning Forced Multibody Dynamics on Lie Groups
- Quiz Show Games: Searching with Bimodal Hiding
- Energy-Based Physics-Informed Form Finding for Clustered Tensegrity Structures
- Simulation of Custom-Precision OCP MX Block Floating-Point Formats and Arithmetic
- One Shot, Twenty-One Balls: Existence and Rarity of a Total Clearance in a Single Stroke of Snooker
- The Balanced Four-Color Theorem
- Construction of Generalized Weighing-Hadamard Matrices over Finite Fields
- A Reality Check on Quantum Optimisation: Evidence from an Industrial Case Study
- Real-Time Rulebook-Aware Nonlinear MPC for Autonomous Driving with Priority-Biased Tiered Slacks
- Neural Discovery of Memory and Nonlocal Kernels in Integro-Differential Equations with Constrained Kolmogorov--Arnold Networks
- Learning Subgroup Relations Using Siamese Graph Neural Networks
- Bounded-Support Additive Latin Transversals
- Optimal chain density, entropy, and space-time tradeoffs for the TSP
- Fuss-free cumulative universes: theory and practice
- Finding Nearly-Periodic Components in Digraphs and Markov Chains from the Spectrum of Rotated Laplacian Matrices
- Agentic Skill Optimization over Lie Algebroids
- Tropical Circuits with Scalar Multiplication Gates
- Exact Cardinality And Nonredundant Parametrization Of Character-Polynomial Codes
- WarpMPC: Large-Batch MPC on GPU via ADMM with Unrolled $LDL^\top$ Factorization
- Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems
- The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs
- Time-Lag-Aware Deep Reinforcement Learning for Flexible Job-Shop Scheduling in PPVC Module Factories
- Paradoxes of Game Theoretic Equilibria and Price of Anarchy
- Representing the Non-dominated Set of Multi-objective Network Problems by Supported Non-dominated Points
- Rzk: a Proof Assistant for Synthetic $\infty$-Categories
- A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph
- A Reachable-State Operator Formulation of Deferred Acceptance: Progress Invariants and Structural Diagnostics