SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 351–400 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
Enhancing Sequence-to-Sequence Neural Lemmatization with External ResourcesCode0
A Note on the Representation Power of GHHs—0
Facilitating Terminology Translation with Target Lemma AnnotationsCode0
Trading Transforms of Non-weighted Simple Games and Integer Weights of Weighted Simple Games—0
A note on the price of bandit feedback for mistake-bounded online learning—0
Creating Domain Dependent Turkish WordNet and SentiNet—0
Discriminating Homonymy from Polysemy in Wordnets: English, Spanish and Polish Nouns—0
Likelihood Ratio Exponential Families—0
More on extension-based semantics of argumentation—0
Individually Conditional Individual Mutual Information Bound on Generalization Error—0
Learning Graphons via Structured Gromov-Wasserstein BarycentersCode1
Automatic Translation of Complex English Sentences to Indian Sign Language Synthetic Video Animations—0
Utilizing Subword Entities in Character-Level Sequence-to-Sequence Lemmatization Models—0
Automatic Interlinear Glossing for Under-Resourced Languages Leveraging Translations—0
Analogy Models for Neural Word InflectionCode0
Metric Transforms and Low Rank Matrices via Representation Theory of the Real Hyperrectangle—0
A Likelihood Ratio-Based Detector for QTMS Radar and Noise Radar—0
Bottleneck Problems: Information and Estimation-Theoretic View—0
The Cost of Privacy in Generalized Linear Models: Algorithms and Minimax Lower Bounds—0
Maximum Likelihood Estimation in Data-Driven Modeling and Control—0
Post-selection inference with HSIC-LassoCode1
The Elliptical Potential Lemma Revisited—0
Estimating Stochastic Linear Combination of Non-linear Regressions Efficiently and Scalably—0
KrigHedge: Gaussian Process Surrogates for Delta HedgingCode0
Non-Stationary Stochastic Global Optimization Algorithms—0
Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes—0
Debreu's open gap lemma for semiorders—0
Correction to:"Position estimation from direction or range measurements"—0
Survey of explainable machine learning with visual and granular methods beyond quasi-explanations—0
Certifying Confidence via Randomized SmoothingCode0
Linguistically inspired morphological inflection with a sequence to sequence model—0
Simple Analysis of Johnson-Lindenstrauss Transform under Neuroscience Constraints—0
Stochastic Adaptive Line Search for Differentially Private Optimization—0
Leverage Point Identification Method for LAV-Based State Estimation—0
Verifying Tight Logic Programs with anthem and Vampire—0
LEMMA: A Multi-view Dataset for Learning Multi-agent Multi-task ActivitiesCode1
Neural disambiguation of lemma and part of speech in morphologically rich languages—0
Leveraging Principal Parts for Morphological Inflection—0
KU-CST at the SIGMORPHON 2020 Task 2 on Unsupervised Morphological Paradigm Completion—0
One-Size-Fits-All Multilingual Models—0
Show:102550
← PrevPage 8 of 13Next →

No leaderboard results yet.