SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 221–230 of 628 papers

TitleStatusHype
Robust Learning of Nonlinear Dynamical Systems with Safety and Stability Properties—0
On Data-Driven Stochastic Output-Feedback Predictive Control—0
DBA: Efficient Transformer with Dynamic Bilinear Low-Rank Attention—0
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic AbstractionsCode0
A sufficient condition for k-contraction in Lurie systems—0
Lower Bounds for the Convergence of Tensor Power Iteration on Random Overcomplete Models—0
Development of a rule-based lemmatization algorithm through Finite State Machine for Uzbek language—0
Distributed data-driven predictive control for cooperatively smoothing mixed traffic flowCode1
A Non-Asymptotic Moreau Envelope Theory for High-Dimensional Generalized Linear ModelsCode0
Unlabelled Sample Compression Schemes for Intersection-Closed Classes and Extremal Classes—0
Show:102550
← PrevPage 23 of 63Next →

No leaderboard results yet.