| 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 |