| 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 |
| Restless Linear Bandits | May 17, 2024 | LEMMA | —Unverified | 0 |
| A Certified Proof Checker for Deep Neural Network Verification in Imandra | May 17, 2024 | Automated Theorem ProvingLEMMA | —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 |
