| An adaptive fuzzy sliding mode controller for nonlinear systems with non-symmetric dead-zone and its application to an electro-hydraulic system | May 23, 2022 | LEMMA | —Unverified | 0 |
| An Algorithm with Optimal Dimension-Dependence for Zero-Order Nonsmooth Nonconvex Stochastic Optimization | Jul 10, 2023 | LEMMAStochastic Optimization | —Unverified | 0 |
| A Finite-State Morphological Analyser for Sindhi | May 1, 2016 | Information RetrievalLEMMA | —Unverified | 0 |
| An automatically generated Danish Renaissance Dictionary | May 1, 2020 | LEMMA | —Unverified | 0 |
| An Efficient Solution to s-Rectangular Robust Markov Decision Processes | Jan 31, 2023 | LEMMA | —Unverified | 0 |
| An ELECTRA Model for Latin Token Tagging Tasks | Jun 1, 2022 | LEMMALemmatization | —Unverified | 0 |
| A Neural Lemmatizer for Bengali | May 1, 2016 | LEMMALemmatization | —Unverified | 0 |
| A New Dimensionality Reduction Method Based on Hensel's Compression for Privacy Protection in Federated Learning | May 1, 2022 | Dimensionality ReductionFederated Learning | —Unverified | 0 |
| An Extensible Multilingual Open Source Lemmatizer | Sep 1, 2017 | Information RetrievalLEMMA | —Unverified | 0 |
| An improved regret analysis for UCB-N and TS-N | May 6, 2023 | LEMMAThompson Sampling | —Unverified | 0 |
| An input-output continuous-time version of Willems' lemma | May 24, 2024 | LEMMA | —Unverified | 0 |
| A Non-Asymptotic Analysis for Stein Variational Gradient Descent | Jun 17, 2020 | LEMMA | —Unverified | 0 |
| A Lemma Based Evaluator for Semitic Language Text Summarization Systems | Mar 22, 2014 | LEMMAText Matching | —Unverified | 0 |
| A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems | Nov 28, 2024 | LEMMAMath | —Unverified | 0 |
| Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) | Jul 5, 2022 | LEMMA | —Unverified | 0 |
| Actions Speak What You Want: Provably Sample-Efficient Reinforcement Learning of the Quantal Stackelberg Equilibrium from Strategic Feedbacks | Jul 26, 2023 | Decision MakingLEMMA | —Unverified | 0 |
| A Certified Proof Checker for Deep Neural Network Verification in Imandra | May 17, 2024 | Automated Theorem ProvingLEMMA | —Unverified | 0 |
| A Layered Architecture for Universal Causality | Dec 18, 2022 | Causal InferenceLEMMA | —Unverified | 0 |
| A Latent Topic Modeling approach for Subject Summarization of Research on the Military Art and Science in South Korea | Jun 1, 2020 | ArticlesGeneral Classification | —Unverified | 0 |
| A consistency lemma in statistical phylogenetics | Jan 26, 2015 | LEMMA | —Unverified | 0 |
| A Phase Theory of MIMO LTI Systems | May 8, 2021 | LEMMA | —Unverified | 0 |
| A packing lemma for VCN_k-dimension and learning high-dimensional data | May 21, 2025 | LEMMAPAC learning | —Unverified | 0 |
| A Large-Scale Leveled Readability Lexicon for Standard Arabic | May 1, 2020 | LEMMA | —Unverified | 0 |
| Any-stepsize Gradient Descent for Separable Data under Fenchel--Young Losses | Feb 7, 2025 | LEMMA | —Unverified | 0 |
| An overview of systems-theoretic guarantees in data-driven model predictive control | Jun 6, 2024 | LEMMAModel Predictive Control | —Unverified | 0 |
