| Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories | Jan 16, 2014 | LEMMA | —Unverified | 0 |
| Compression Barriers for Autoregressive Transformers | Feb 21, 2025 | LEMMA | —Unverified | 0 |
| Deleting and Testing Forbidden Patterns in Multi-Dimensional Arrays | Jul 13, 2016 | LEMMAOpen-Ended Question Answering | —Unverified | 0 |
| Augmented Bayesian Policy Search | Jul 5, 2024 | Bayesian OptimizationLEMMA | —Unverified | 0 |
| Development of a rule-based lemmatization algorithm through Finite State Machine for Uzbek language | Oct 28, 2022 | LEMMALemmatization | —Unverified | 0 |
| Differentially Private Assouad, Fano, and Le Cam | Apr 14, 2020 | LEMMA | —Unverified | 0 |
| A Multiset Version of Even-Odd Permutations Identity | Jun 2, 2022 | LEMMA | —Unverified | 0 |
| Dimensionality Reduction of Affine Variational Inequalities Using Random Projections | Aug 20, 2014 | Dimensionality ReductionLEMMA | —Unverified | 0 |
| Direct data-driven state-feedback control of general nonlinear systems | Mar 19, 2023 | LEMMAScheduling | —Unverified | 0 |
| A note on concentration inequality for vector-valued martingales with weak exponential-type tails | Sep 6, 2018 | Dimensionality ReductionLEMMA | —Unverified | 0 |
