SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 351–375 of 628 papers

TitleStatusHype
IT--IST at the SIGMORPHON 2019 Shared Task: Sparse Two-headed Models for Inflection—0
Johnson-Lindenstrauss embeddings for noisy vectors -- taking advantage of the noise—0
Johnson-Lindenstrauss Lemma, Linear and Nonlinear Random Projections, Random Fourier Features, and Random Kitchen Sinks: Tutorial and Survey—0
Joint Group Invariant Functions on Data-Parameter Domain Induce Universal Neural Networks—0
Kakao Enterprise’s WMT21 Machine Translation Using Terminologies Task Submission—0
Gaussian Sketching yields a J-L Lemma in RKHS—0
Keyphrase Based Evaluation of Automatic Text Summarization—0
k-Nearest Neighbour Classification of Datasets with a Family of Distances—0
Kotlarski's lemma for dyadic models—0
KU-CST at the SIGMORPHON 2020 Task 2 on Unsupervised Morphological Paradigm Completion—0
Large-scale gradient-based training of Mixtures of Factor Analyzers—0
Laurel: Unblocking Automated Verification with Large Language Models—0
Learning event-triggered controllers for linear parameter-varying systems from data—0
Learning explicit predictive controllers: theory and applications—0
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)—0
Learning Geometric Concepts with Nasty Noise—0
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials—0
Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes—0
Learning pseudo-Boolean k-DNF and Submodular Functions—0
Learning to Learn Morphological Inflection for Resource-Poor Languages—0
Lemma Hunting: Automatic Spelling Normalization for German CMC Corpora—0
LEMMA: Learning Language-Conditioned Multi-Robot Manipulation—0
Lemma Mining over HOL Light—0
Lemmanaid: Neuro-Symbolic Lemma Conjecturing—0
LEMMA-RCA: A Large Multi-modal Multi-domain Dataset for Root Cause Analysis—0
Show:102550
← PrevPage 15 of 26Next →

No leaderboard results yet.