| 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 |
| Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control | Mar 25, 2024 | LEMMAScheduling | —Unverified | 0 |
| Evaluating Shortest Edit Script Methods for Contextual Lemmatization | Mar 25, 2024 | LEMMALemmatization | CodeCode Available | 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 |
