001 KAYROS: An Anytime and Exact Open-Source Solver for Duration-Minimization Time-Dependent Vehicle Routing. A Technical Report and a Case Study in Human-AI Engineering arXiv Paper Florian Rascoussier 6 days ago 002 FlashPDE: A Drop-In Fused Triton Operator Library for Neural PDE Solvers arXiv Paper Peiyu Zang, Bosen Xie et al. Jul 20 003 OpenProver: Agentic and Interactive Theorem Proving with Lean 4 arXiv Paper Matˇej Kripner, Milan Straka Jul 10 004 tsbootstrap: Distribution-Free Uncertainty Quantification and Conformal Prediction for Time Series arXiv Paper Sankalp Gilda Jul 7 005 Computing Monetary Risk Measures in Linear Time arXiv Paper Palash Agrawal, Gersi Doko et al. Jul 6 006 Operator-Aware Mixed-Precision Tolerance Calibration for Tensor Kernels arXiv Paper Dipankar Sarkar Jun 23 007 Arc-Length Parameterized Interpolating Splines arXiv Paper Dafna K. Matsegora et al. Jun 19 008 Balanced Twins: Causal Inference on Time Series with Hidden Confounding arXiv Paper Maha Ouali et al. Jun 17 009 Quotient Tree Arithmetic: Deferred-Division Computation with Bounded Symbolic Depth and Cross-Subtree Cancellation arXiv Paper Gregory Magarshak Jun 15 010 Automatic Differentiation from Scratch: How PyTorch Computes Gradients in Physics-Informed Neural Networks arXiv Paper A. Tahimi Jun 13 011 ANEForge: Python for direct computation on the Apple Neural Engine arXiv Paper Spencer H. Bryngelson Jun 12 012 An 83-Format Numeric Catalog with Bit-Exact Conformance Vectors: A Vendor-Neutral Reference for FP8, BF16, MXFP4, and Microscaling Formats arXiv Paper D. Vasilev Jun 8 013 Fitting scattered data with optional monotonicity constraints on GPU: LipFit package arXiv Paper G. Beliakov Jun 3 014 FP8 is All You Need (Part 2): Efficient Ozaki-Bailey Style FFT Through Tensor-core Garner Reformulation and Kulisch Escape Route arXiv Paper Satoshi Matsuoka May 28 015 libhmm: A Modern C++20 Library for Hidden Markov Models with Correct MLE Emission M-Steps arXiv Paper Gary Wolfman May 28 016 Secure and Parallel Determinant Computation for Large-Scale Matrices in Edge Environments arXiv Paper Prajwal Panth May 21 017 cuRegOT: A GPU-Accelerated Solver for Entropic-Regularized Optimal Transport arXiv Paper Yixuan Qiu May 9 018 Differentiable Parameter Optimization for DAEs with State-Dependent Events arXiv Paper Ion Matei, Maksym Zhenirovskyy et al. May 6 019 Exact Higher-Order Derivatives for SE(3) via Analytical/AD Methods arXiv Paper Frank O. Kuehnel May 4 020 Gradient Boosted Risk Scores arXiv Paper C. Georgantas, J. Richiardi May 4 021 Fitting Large Nonlinear Mixed Effects Models Using Variational Expectation Maximization arXiv Paper M. Tarek, P. Afonso Apr 28 022 Statistical Inference and Quality Measures of KV Cache Quantisations Inspired by TurboQuant arXiv Paper P. D'Alberto Apr 27 023 Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface arXiv Paper Matic Petrivc, René Zander Apr 20 024 $k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture arXiv Paper Kirill Brilliantov, Étienne Bamas et al. Apr 8 025 Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators arXiv Paper Bhuvaneswari A et al. Mar 20 026 Implementation of tangent linear and adjoint models for neural networks based on a compiler library tool arXiv Paper Sa Xiao, Hao Jing et al. Mar 17 027 Scorio.jl: A Julia package for ranking stochastic responses arXiv Paper Mohsen Hariri et al. Mar 14 028 Self-Scaled Broyden Family of Quasi-Newton Methods in JAX arXiv Paper Ivan Bioli, Mikel Mendibe Abarrategi Mar 11 029 Automated Tensor-Relational Decomposition for Large-Scale Sparse Tensor Computation arXiv Paper Yuxin Tang et al. Mar 9 030 Agentic Scientific Simulation: Execution-Grounded Model Construction and Reconstruction arXiv Paper Knut-Andreas Lie et al. Feb 27 031 TorchLean: Formalizing Neural Networks in Lean arXiv Paper Robert Joseph George, Jennifer Cruden et al. Feb 26 032 Optimizing Tensor Train Decomposition in DNNs for RISC-V Architectures Using Design Space Exploration and Compiler Optimizations arXiv Paper Theologos Anthimopoulos et al. Feb 2 033 Adaptive Benign Overfitting (ABO): Overparameterized RLS for Online Learning in Non-stationary Time-series arXiv Paper Luis Ontaneda Mijares, Nick Firoozye Jan 29 034 MiniTensor: A Lightweight, High-Performance Tensor Operations Library arXiv Paper Soumyadip Sarkar Jan 27 035 Learning to Optimize by Differentiable Programming arXiv Paper Liping Tao et al. Jan 23 036 Dimensional Peeking for Low-Variance Gradients in Zeroth-Order Discrete Optimization via Simulation arXiv Paper Philipp Andelfinger et al. Jan 21 037 PALMA: A Lightweight Tropical Algebra Library for ARM-Based Embedded Systems arXiv Paper Gnankan Landry Regis N'guessan Jan 17 038 ALL-FEM: Agentic Large Language models Fine-tuned for Finite Element Methods arXiv Paper Rushikesh Deotale, A. Srinivasan et al. Jan 8 039 A Unified Framework for Automated Assembly Sequence and Production Line Planning using Graph-based Optimization arXiv Paper Christoph Hartmann et al. Dec 15, 2025 040 Virtual Parameter Sharpening: Dynamic Low-Rank Perturbations for Inference-Time Reasoning Enhancement arXiv Paper Saba Kublashvili Dec 2, 2025 041 Case study of a differentiable heterogeneous multiphysics solver for a nuclear fusion application arXiv Paper Jack B. Coughlin et al. Nov 17, 2025 042 Hessians in Birkhoff-Theoretic Trajectory Optimization arXiv Paper I. M. Ross Nov 17, 2025 043 Zipf-Gramming: Scaling Byte N-Grams Up to Production Sized Malware Corpora arXiv Paper Edward Raff, Ryan R. Curtin et al. Nov 17, 2025 044 TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System arXiv Paper Steve Dai et al. Nov 11, 2025 045 evomap: A Toolbox for Dynamic Mapping in Python arXiv Paper Maximilian Matthe Nov 6, 2025 046 Efficient Solvers for SLOPE in R, Python, Julia, and C++ arXiv Paper Johan Larsson et al. Nov 4, 2025 047 Disciplined Biconvex Programming arXiv Paper Hao Zhu et al. Nov 3, 2025 048 Enhanced Cyclic Coordinate Descent Methods for Elastic Net Penalized Linear Models arXiv Paper Yixiao Wang, Zishan Shao et al. Oct 22, 2025 049 CausalVerse: Benchmarking Causal Representation Learning with Configurable High-Fidelity Simulations arXiv Paper Guan-Hong Chen, Yunlong Deng et al. Oct 15, 2025 050 Systematic Alias Sampling: an efficient and low-variance way to sample from a discrete distribution arXiv Paper Ilari Vallivaara et al. Sep 28, 2025 051 The Syntax and Semantics of einsum arXiv Paper Maurice Wenig et al. Sep 24, 2025 052 Dual-Regularized Riccati Recursions for Interior-Point Optimal Control arXiv Paper João Sousa-Pinto et al. Sep 19, 2025 053 pySigLib -- Fast Signature-Based Computations on CPU and GPU arXiv Paper Daniil Shmelev et al. Sep 12, 2025 054 Fast and Accurate SVD-Type Updating in Streaming Data arXiv Paper Johannes J. Brust et al. Sep 2, 2025 055 A User Manual for cuHALLaR: A GPU Accelerated Low-Rank Semidefinite Programming Solver arXiv Paper Jacob Aguirre et al. Aug 21, 2025 056 AutoMPC: A Code Generator for MPC-based Automated Driving arXiv Paper Georg Schildbach et al. Aug 19, 2025 057 MissMecha: An All-in-One Python Package for Studying Missing Data Mechanisms arXiv Paper Youran Zhou et al. Aug 6, 2025 058 The Ubiquitous Sparse Matrix-Matrix Products arXiv Paper Aydın Buluç Aug 6, 2025 059 Performance Evaluation of General Purpose Large Language Models for Basic Linear Algebra Subprograms Code Generation arXiv Paper Daichi Mukunoki, Shun-ichiro Hayashi et al. Jul 7, 2025 060 Global optimization tailored for graphics processing units: Complete and rigorous search for large-scale nonlinear minimization arXiv Paper Guanglu Zhang et al. Jul 2, 2025