| An input-output continuous-time version of Willems' lemma | May 24, 2024 | LEMMA | —Unverified | 0 |
| Deep Ridgelet Transform and Unified Universality Theorem for Deep and Shallow Joint-Group-Equivariant Machines | May 22, 2024 | LEMMA | —Unverified | 0 |
| A Certified Proof Checker for Deep Neural Network Verification in Imandra | May 17, 2024 | Automated Theorem ProvingLEMMA | —Unverified | 0 |
| Restless Linear Bandits | May 17, 2024 | LEMMA | —Unverified | 0 |
| Adaptive tracking MPC for nonlinear systems via online linear system identification | May 16, 2024 | LEMMAModel Predictive Control | CodeCode Available | 1 |
| Lower Bounds for Private Estimation of Gaussian Covariance Matrices under All Reasonable Parameter Regimes | Apr 26, 2024 | AllLEMMA | —Unverified | 0 |
| Deep Hankel matrices with random elements | Apr 23, 2024 | LEMMA | CodeCode Available | 0 |
| Node Similarities under Random Projections: Limits and Pathological Cases | Apr 15, 2024 | Computational EfficiencyGraph Learning | —Unverified | 0 |
| OOVs in the Spotlight: How to Inflect them? | Apr 13, 2024 | LEMMAMorphological Inflection | CodeCode Available | 0 |
| Farkas' Lemma and Complete Indifference | Apr 3, 2024 | AllLEMMA | —Unverified | 0 |
| Convergence Guarantees for RMSProp and Adam in Generalized-smooth Non-convex Optimization with Affine Noise Variance | Apr 1, 2024 | LEMMA | —Unverified | 0 |
| Cross-lingual Named Entity Corpus for Slavic Languages | Mar 30, 2024 | LEMMALemmatization | CodeCode Available | 0 |
| The LSCD Benchmark: a Testbed for Diachronic Word Meaning Tasks | Mar 29, 2024 | Change DetectionLEMMA | —Unverified | 0 |
| An invitation to the sample complexity of quantum hypothesis testing | Mar 26, 2024 | LEMMA | —Unverified | 0 |
| Evaluating Shortest Edit Script Methods for Contextual Lemmatization | Mar 25, 2024 | LEMMALemmatization | CodeCode Available | 0 |
| Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control | Mar 25, 2024 | LEMMAScheduling | —Unverified | 0 |
| From Raw Data to Safety: Reducing Conservatism by Set Expansion | Mar 23, 2024 | LEMMA | —Unverified | 0 |
| Optimal Data-Driven Prediction and Predictive Control using Signal Matrix Models | Mar 22, 2024 | LEMMA | —Unverified | 0 |
| Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code | Mar 19, 2024 | Automated Theorem ProvingCode Generation | —Unverified | 0 |
| Horizon-Free Regret for Linear Markov Decision Processes | Mar 15, 2024 | LEMMAReinforcement Learning (RL) | —Unverified | 0 |
| Exploring the Links between the Fundamental Lemma and Kernel Regression | Mar 8, 2024 | LEMMAregression | —Unverified | 0 |
| Level Set Teleportation: An Optimization Perspective | Mar 5, 2024 | LEMMA | —Unverified | 0 |
| Mirror Descent Algorithms with Nearly Dimension-Independent Rates for Differentially-Private Stochastic Saddle-Point Problems | Mar 5, 2024 | LEMMA | —Unverified | 0 |
| On the impact of measure pre-conditionings on general parametric ML models and transfer learning via domain adaptation | Mar 4, 2024 | Domain AdaptationLEMMA | —Unverified | 0 |
| Limits to classification performance by relating Kullback-Leibler divergence to Cohen's Kappa | Mar 3, 2024 | ClassificationLEMMA | —Unverified | 0 |
