| Robust Data-EnablEd Predictive Leading Cruise Control via Reachability Analysis | Feb 6, 2024 | Autonomous VehiclesLEMMA | —Unverified | 0 |
| Bayes-Optimal Fair Classification with Linear Disparity Constraints via Pre-, In-, and Post-processing | Feb 5, 2024 | AttributeClassification | CodeCode Available | 0 |
| Q-Star Meets Scalable Posterior Sampling: Bridging Theory and Practice via HyperAgent | Feb 5, 2024 | Atari GamesAtari Games 100k | CodeCode Available | 0 |
| Sampling-based Stochastic Data-driven Predictive Control under Data Uncertainty | Feb 1, 2024 | LEMMA | —Unverified | 0 |
| An impossibility theorem concerning positive involvement in voting | Jan 11, 2024 | LEMMA | CodeCode Available | 0 |
| Reply to 'Comments on Graphon Signal Processing' [arXiv:2310.14683] | Jan 5, 2024 | LEMMAvalid | —Unverified | 0 |
| Linear-Quadratic Problems in Systems and Controls via Covariance Representations and Linear-Conic Duality: Finite-Horizon Case | Jan 2, 2024 | LEMMA | —Unverified | 0 |
| Lyapunov-Krasovskii Functionals of Robust Type for the Stability Analysis in Time-Delay Systems | Dec 27, 2023 | LEMMA | —Unverified | 0 |
| Greedy Grammar Induction with Indirect Negative Evidence | Dec 23, 2023 | LEMMAPosition | —Unverified | 0 |
| Leveraging the Urysohn Lemma of Topology for an Enhanced Binary Classifier | Dec 19, 2023 | Binary ClassificationClassification | CodeCode Available | 0 |
