SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 211–220 of 628 papers

TitleStatusHype
Near-Optimal Non-Parametric Sequential Tests and Confidence Sequences with Possibly Dependent ObservationsCode0
Contraction and k-contraction in Lurie systems with applications to networked systems—0
Towards data-driven stochastic predictive control—0
A Layered Architecture for Universal Causality—0
Data-driven Stochastic Output-Feedback Predictive Control: Recursive Feasibility through Interpolated Initial Conditions—0
Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations—0
Even Order Explicit Symplectic Geometric Algorithms for Solving Quaternions in Guidance Navigation and Control via Diagonal Padé Approximation and Cayley Transform—0
Linear Data-Driven Economic MPC with Generalized Terminal Constraint—0
Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local LemmaCode0
Efficient Reinforcement Learning Through Trajectory GenerationCode1
Show:102550
← PrevPage 22 of 63Next →

No leaderboard results yet.