| Secondary Safety Control for Systems with Sector Bounded Nonlinearities [Extended Version] | Apr 11, 2025 | LEMMA | —Unverified | 0 |
| Leveraging Non-Steady-State Frequency-Domain Data in Willems' Fundamental Lemma | Apr 8, 2025 | LEMMA | —Unverified | 0 |
| Lemmanaid: Neuro-Symbolic Lemma Conjecturing | Apr 7, 2025 | LEMMA | —Unverified | 0 |
| Nonlinear Multiple Response Regression and Learning of Latent Spaces | Mar 27, 2025 | Data CompressionLEMMA | —Unverified | 0 |
| Local Stability and Stabilization of Quadratic-Bilinear Systems using Petersen's Lemma | Mar 26, 2025 | LEMMA | —Unverified | 0 |
| Lean Formalization of Generalization Error Bound by Rademacher Complexity | Mar 25, 2025 | LEMMAPAC learning | CodeCode Available | 1 |
| Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement | Mar 25, 2025 | LEMMAMeta-Learning | —Unverified | 0 |
| Flexible WMMSE Beamforming for MU-MIMO Movable Antenna Communications | Mar 22, 2025 | LEMMAPosition | CodeCode Available | 0 |
| LEMMA: Learning from Errors for MatheMatical Advancement in LLMs | Mar 21, 2025 | LEMMA | CodeCode Available | 1 |
| Inverter Control with Time-Varying and Nonconvex State and Input Constraints | Mar 14, 2025 | LEMMA | —Unverified | 0 |
