SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 601–628 of 628 papers

TitleStatusHype
On the Complexity of Best Arm Identification in Multi-Armed Bandit Models—0
Lexical Substitution Dataset for German—0
Sharing Cultural Heritage: the Clavius on the Web Project—0
Constituency Parsing of Bulgarian: Word- vs Class-based Parsing—0
Recognising suicidal messages in Dutch social media—0
Implementing Anti-Unification Modulo Equational Theory—0
A Lemma Based Evaluator for Semitic Language Text Summarization Systems—0
Applying Supervised Learning Algorithms and a New Feature Selection Method to Predict Coronary Artery Disease—0
Matrix factorization with Binary Components—0
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories—0
Entity Linking meets Word Sense Disambiguation: a Unified Approach—0
Universal Codes from Switching Strategies—0
Toward a unified theory of sparse dimensionality reduction in Euclidean space—0
Lemma Mining over HOL Light—0
Asymptotic normality and optimalities in estimation of large Gaussian graphical models—0
Tight Lower Bounds for Homology Inference—0
An open diachronic corpus of historical Spanish: annotation criteria and automatic modernisation of spelling—0
Learning pseudo-Boolean k-DNF and Submodular Functions—0
The goo300k corpus of historical Slovene—0
Visualizing word senses in WordNet Atlas—0
Outlier detection in default logics: the tractability/intractability frontier—0
Random design analysis of ridge regression—0
Random Projection Trees Revisited—0
On the Achievability of Cramér-Rao Bound In Noisy Compressed Sensing—0
Lectures on Jacques Herbrand as a LogicianCode0
Optimal ROC Curve for a Combination of Classifiers—0
Transductive Inference and Semi-Supervised Learning—0
Rental Harmony: Sperner's Lemma in Fair Division—0
Show:102550
← PrevPage 13 of 13Next →

No leaderboard results yet.