| Discrete-Time Conewise Linear Systems with Finitely Many Switches | Jun 18, 2024 | LEMMA | —Unverified | 0 |
| e-COP : Episodic Constrained Optimization of Policies | Jun 13, 2024 | LEMMAreinforcement-learning | —Unverified | 0 |
| A Generalized Version of Chung's Lemma and its Applications | Jun 9, 2024 | LEMMAStochastic Optimization | —Unverified | 0 |
| LEMMA-RCA: A Large Multi-modal Multi-domain Dataset for Root Cause Analysis | Jun 8, 2024 | LEMMA | —Unverified | 0 |
| Theoretical Guarantees for Variational Inference with Fixed-Variance Mixture of Gaussians | Jun 6, 2024 | Bayesian InferenceLEMMA | —Unverified | 0 |
| An overview of systems-theoretic guarantees in data-driven model predictive control | Jun 6, 2024 | LEMMAModel Predictive Control | —Unverified | 0 |
| RL in Latent MDPs is Tractable: Online Guarantees via Off-Policy Evaluation | Jun 3, 2024 | LEMMAOff-policy evaluation | —Unverified | 0 |
| Learning on Large Graphs using Intersecting Communities | May 31, 2024 | Graph LearningLEMMA | CodeCode Available | 0 |
| Training-efficient density quantum machine learning | May 30, 2024 | LEMMAMixture-of-Experts | —Unverified | 0 |
| Laurel: Unblocking Automated Verification with Large Language Models | May 27, 2024 | LEMMA | —Unverified | 0 |
