| List Online Classification | Mar 27, 2023 | ClassificationLEMMA | —Unverified | 0 |
| Once upon a time step: A closed-loop approach to robust MPC design | Mar 20, 2023 | LEMMAModel Predictive Control | —Unverified | 0 |
| Direct data-driven state-feedback control of general nonlinear systems | Mar 19, 2023 | LEMMAScheduling | —Unverified | 0 |
| LMI-based Data-Driven Robust Model Predictive Control | Mar 8, 2023 | LEMMAModel Predictive Control | —Unverified | 0 |
| CoProver: A Recommender System for Proof Construction | Mar 1, 2023 | Information RetrievalLEMMA | —Unverified | 0 |
| Generative Models of Huge Objects | Feb 24, 2023 | FairnessLearning Theory | —Unverified | 0 |
| LMI relaxations and its application to data-driven control design for switched affine systems | Feb 23, 2023 | LEMMA | —Unverified | 0 |
| Optimal Convergence Rate for Exact Policy Mirror Descent in Discounted Markov Decision Processes | Feb 22, 2023 | LEMMA | —Unverified | 0 |
| Improved Recursive Algorithms for V-BLAST to Save Computations and Memories | Feb 17, 2023 | LEMMA | —Unverified | 0 |
| A Comparative Predicting Stock Prices using Heston and Geometric Brownian Motion Models | Feb 15, 2023 | LEMMAStock Market Prediction | —Unverified | 0 |