| Linear Data-Driven Economic MPC with Generalized Terminal Constraint | Dec 2, 2022 | LEMMAModel Predictive Control | —Unverified | 0 |
| Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma | Dec 1, 2022 | LEMMAvalid | CodeCode Available | 0 |
| On Data-Driven Stochastic Output-Feedback Predictive Control | Nov 30, 2022 | LEMMA | —Unverified | 0 |
| Robust Learning of Nonlinear Dynamical Systems with Safety and Stability Properties | Nov 30, 2022 | LEMMA | —Unverified | 0 |
| DBA: Efficient Transformer with Dynamic Bilinear Low-Rank Attention | Nov 24, 2022 | LEMMA | —Unverified | 0 |
| LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions | Nov 16, 2022 | LEMMAMathematical Reasoning | CodeCode Available | 0 |
| A sufficient condition for k-contraction in Lurie systems | Nov 10, 2022 | LEMMA | —Unverified | 0 |
| Lower Bounds for the Convergence of Tensor Power Iteration on Random Overcomplete Models | Nov 7, 2022 | LEMMATensor Decomposition | —Unverified | 0 |
| Development of a rule-based lemmatization algorithm through Finite State Machine for Uzbek language | Oct 28, 2022 | LEMMALemmatization | —Unverified | 0 |
| A Non-Asymptotic Moreau Envelope Theory for High-Dimensional Generalized Linear Models | Oct 21, 2022 | LEMMA | CodeCode Available | 0 |
