SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 351–360 of 628 papers

TitleStatusHype
Part of speech and gramset tagging algorithms for unknown words based on morphological dictionaries of the Veps and Karelian languages—0
Poisoning Attacks against Data-Driven Control Methods—0
On Asymptotic Log-Optimal Buy-and-Hold Strategy—0
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep LearningCode1
The Elliptical Potential Lemma for General Distributions with an Application to Linear Thompson Sampling—0
Continuous Learning in Neural Machine Translation using Bilingual Dictionaries—0
From System Level Synthesis to Robust Closed-loop Data-enabled Predictive Control—0
On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma—0
Exclusion and multiplicity for stable communities in Lotka-Volterra systems—0
Improved Variance-Aware Confidence Sets for Linear Bandits and Linear Mixture MDP—0
Show:102550
← PrevPage 36 of 63Next →

No leaderboard results yet.