SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 61–70 of 628 papers

TitleStatusHype
An input-output continuous-time version of Willems' lemma—0
A Non-Asymptotic Analysis for Stein Variational Gradient Descent—0
A Lemma Based Evaluator for Semitic Language Text Summarization Systems—0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems—0
Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs)—0
Actions Speak What You Want: Provably Sample-Efficient Reinforcement Learning of the Quantal Stackelberg Equilibrium from Strategic Feedbacks—0
A Certified Proof Checker for Deep Neural Network Verification in Imandra—0
A Layered Architecture for Universal Causality—0
A Latent Topic Modeling approach for Subject Summarization of Research on the Military Art and Science in South Korea—0
A consistency lemma in statistical phylogenetics—0
Show:102550
← PrevPage 7 of 63Next →

No leaderboard results yet.