SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 628 papers

TitleStatusHype
An adaptive fuzzy sliding mode controller for nonlinear systems with non-symmetric dead-zone and its application to an electro-hydraulic system—0
An Algorithm with Optimal Dimension-Dependence for Zero-Order Nonsmooth Nonconvex Stochastic Optimization—0
A Finite-State Morphological Analyser for Sindhi—0
An automatically generated Danish Renaissance Dictionary—0
An Efficient Solution to s-Rectangular Robust Markov Decision Processes—0
An ELECTRA Model for Latin Token Tagging Tasks—0
A Neural Lemmatizer for Bengali—0
A New Dimensionality Reduction Method Based on Hensel's Compression for Privacy Protection in Federated Learning—0
An Extensible Multilingual Open Source Lemmatizer—0
An improved regret analysis for UCB-N and TS-N—0
An input-output continuous-time version of Willems' lemma—0
A Non-Asymptotic Analysis for Stein Variational Gradient Descent—0
Align and Copy: UZH at SIGMORPHON 2017 Shared Task for Morphological Reinflection—0
Advancing Full-Text Search Lemmatization Techniques with Paradigm Retrieval from OpenCorpora—0
A Lemma Based Evaluator for Semitic Language Text Summarization Systems—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
Binary embeddings with structured hashed projections—0
A consistency lemma in statistical phylogenetics—0
Applying Supervised Learning Algorithms and a New Feature Selection Method to Predict Coronary Artery Disease—0
A Latent Topic Modeling approach for Subject Summarization of Research on the Military Art and Science in South Korea—0
Automatic Interlinear Glossing for Under-Resourced Languages Leveraging Translations—0
A Phase Theory of MIMO LTI Systems—0
A packing lemma for VCN_k-dimension and learning high-dimensional data—0
Approximate Counting, the Lovasz Local Lemma and Inference in Graphical Models—0
A Layered Architecture for Universal Causality—0
Approximation Schemes for Low-Rank Binary Matrix Approximation Problems—0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems—0
Arbitrage and Geometry—0
archer at SemEval-2021 Task 1: Contextualising Lexical Complexity—0
A Regret Perspective on Online Selective Generation—0
A Resilient Distributed Boosting Algorithm—0
A Sauer-Shelah-Perles Lemma for Sumsets—0
A Scalable Document-based Architecture for Text Analysis—0
A Short Note on the Relationship of Information Gain and Eluder Dimension—0
A Large-Scale Leveled Readability Lexicon for Standard Arabic—0
Assessing Grammatical Correctness in Language Learning—0
Assouad, Fano, and Le Cam with Interaction: A Unifying Lower Bound Framework and Characterization for Bandit Learnability—0
A Stochastic Fundamental Lemma with Reduced Disturbance Data Requirements—0
A sufficient condition for k-contraction in Lurie systems—0
Asymptotic normality and optimalities in estimation of large Gaussian graphical models—0
A Technical Critique of Some Parts of the Free Energy Principle—0
A Mean-Field Theory for Learning the Schönberg Measure of Radial Basis Functions—0
Any-stepsize Gradient Descent for Separable Data under Fenchel--Young Losses—0
Augmented Bayesian Policy Search—0
Augmenting a German Morphological Database by Data-Intense Methods—0
A Multiset Version of Even-Odd Permutations Identity—0
A Unified Framework for Clustering Constrained Data without Locality Property—0
An overview of systems-theoretic guarantees in data-driven model predictive control—0
Show:102550
← PrevPage 2 of 13Next →

No leaderboard results yet.