SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 501–550 of 628 papers

TitleStatusHype
Uncertainty about Uncertainty: Optimal Adaptive Algorithms for Estimating Mixtures of Unknown Coins—0
Understanding Generalization in Recurrent Neural Networks—0
Universal Codes from Switching Strategies—0
Universal Lemmatizer: A Sequence to Sequence Model for Lemmatizing Universal Dependencies Treebanks—0
University of Illinois Submission to the SIGMORPHON 2020 Shared Task 0: Typologically Diverse Morphological Inflection—0
Unlabelled Sample Compression Schemes for Intersection-Closed Classes and Extremal Classes—0
(Un)solving Morphological Inflection: Lemma Overlap Artificially Inflates Models’ Performance—0
Unsupervised Discovery, Control, and Disentanglement of Semantic Attributes with Applications to Anomaly Detection—0
Updater-Extractor Architecture for Inductive World State Representations—0
Updater-Extractor Architecture for Inductive World State Representations—0
Usability and Accessibility of Bantu Language Dictionaries in the Digital Age: Mobile Access in an Open Environment—0
Utilizing Subword Entities in Character-Level Sequence-to-Sequence Lemmatization Models—0
Improved Variance-Aware Confidence Sets for Linear Bandits and Linear Mixture MDP—0
Variance-Aware Regret Bounds for Undiscounted Reinforcement Learning in MDPs—0
Variational Bayes Inference in Digital Receivers—0
Theoretical Guarantees for Variational Inference with Fixed-Variance Mixture of Gaussians—0
Verifying Tight Logic Programs with anthem and Vampire—0
Visualizing word senses in WordNet Atlas—0
VPS-GradeUp: Graded Decisions on Usage Patterns—0
When can dictionary learning uniquely recover sparse data from subsamples?—0
When Random Tensors meet Random Matrices—0
When Small Gain Meets Small Phase—0
Why is it easier to predict the epidemic curve than to reconstruct the underlying contact network?—0
WordNet and beyond: the case of lexical access—0
Zipf's law for word frequencies: word forms versus lemmas in long texts—0
A Certified Proof Checker for Deep Neural Network Verification in Imandra—0
A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System—0
A Comparative Predicting Stock Prices using Heston and Geometric Brownian Motion Models—0
A consistency lemma in statistical phylogenetics—0
Actions Speak What You Want: Provably Sample-Efficient Reinforcement Learning of the Quantal Stackelberg Equilibrium from Strategic Feedbacks—0
Adaptive Backstepping and Non-singular Sliding Mode Control for Quadrotor UAVs with Unknown Time-varying Uncertainties—0
Adaptive Backtracking Line Search—0
Adaptive Event-triggered Control with Sampled Transmitted Output and Controller Dynamics—0
Adaptive fuzzy control of electrohydraulic servosystems—0
Adaptive Robust Data-driven Building Control via Bi-level Reformulation: an Experimental Result—0
Adding Pronunciation Information to Wordnets—0
Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs)—0
Advancing Full-Text Search Lemmatization Techniques with Paradigm Retrieval from OpenCorpora—0
Adversarial Source Identification Game with Corrupted Training—0
A Family of Neyman-Pearson-Based Detectors for Noise-Type Radars—0
A Fast Spectral Algorithm for Mean Estimation with Sub-Gaussian Rates—0
A Finite-State Morphological Analyser for Sindhi—0
A Fisher-Rao gradient flow for entropy-regularised Markov decision processes in Polish spaces—0
A Framework for Bidirectional Decoding: Case Study in Morphological Inflection—0
A Frequency-Domain Version of Willems' Fundamental Lemma—0
A Generalized Version of Chung's Lemma and its Applications—0
Agent-Based Proof Design via Lemma Flow Diagram—0
Agnostic Online Learning and Excellent Sets—0
A Homological Theory of Functions—0
A Johnson-Lindenstrauss Framework for Randomly Initialized CNNs—0
Show:102550
← PrevPage 11 of 13Next →

No leaderboard results yet.