SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 251–300 of 628 papers

TitleStatusHype
Gaussian Process-Based Prediction and Control of Hammerstein-Wiener Systems—0
Gender Profiling for Slovene Twitter communication: the Influence of Gender Marking, Content and Style—0
Generalizations of Szpilrajn's Theorem in economic and game theories—0
Generalizing Bottleneck Problems—0
A Lemma Based Evaluator for Semitic Language Text Summarization Systems—0
Data-driven distributed MPC of dynamically coupled linear systems—0
Data-driven control via Petersen's lemma—0
Data Augmentation for Conflict and Duplicate Detection in Software Engineering Sentence Pairs—0
Arbitrage and Geometry—0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems—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
Creating Domain Dependent Turkish WordNet and SentiNet—0
Approximation Schemes for Low-Rank Binary Matrix Approximation Problems—0
COSMOS: Experimental and Comparative Studies of Concept Representations in Schoolchildren—0
Correction to:"Position estimation from direction or range measurements"—0
A Layered Architecture for Universal Causality—0
CoProver: A Recommender System for Proof Construction—0
Copenhagen at CoNLL--SIGMORPHON 2018: Multilingual Inflection in Context with Explicit Morphosyntactic Decoding—0
Approximate Counting, the Lovasz Local Lemma and Inference in Graphical Models—0
Convex Set Disjointness, Distributed Learning of Halfspaces, and LP Feasibility—0
Convergent Privacy Loss of Noisy-SGD without Convexity and Smoothness—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
Convergence of Stein Variational Gradient Descent under a Weaker Smoothness Condition—0
Convergence Guarantees for RMSProp and Adam in Generalized-smooth Non-convex Optimization with Affine Noise Variance—0
A Phase Theory of MIMO LTI Systems—0
Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview—0
Contraction and k-contraction in Lurie systems with applications to networked systems—0
A packing lemma for VCN_k-dimension and learning high-dimensional data—0
A Large-Scale Leveled Readability Lexicon for Standard Arabic—0
Continuous Learning in Neural Machine Translation using Bilingual Dictionaries—0
Context Sensitive Lemmatization Using Two Successive Bidirectional Gated Recurrent Networks—0
Any-stepsize Gradient Descent for Separable Data under Fenchel--Young Losses—0
Inflection Generation for Spanish Verbs using Supervised Learning—0
Inflection Generation as Discriminative String Transduction—0
Individually Conditional Individual Mutual Information Bound on Generalization Error—0
Context based lemmatizer for Polish language—0
An overview of systems-theoretic guarantees in data-driven model predictive control—0
A Johnson--Lindenstrauss Framework for Randomly Initialized CNNs—0
Information-Theoretic Characterization of Vowel Harmony: A Cross-Linguistic Study on Word Lists—0
Adding Pronunciation Information to Wordnets—0
Improved Stein Variational Gradient Descent with Importance Weights—0
Introducing the National Corpus of Irish Project—0
Inverter Control with Time-Varying and Nonconvex State and Input Constraints—0
Iterative Sketching and its Application to Federated Learning—0
IT--IST at the SIGMORPHON 2019 Shared Task: Sparse Two-headed Models for Inflection—0
Improved Sample Complexity for Global Convergence of Actor-Critic Algorithms—0
Johnson-Lindenstrauss embeddings for noisy vectors -- taking advantage of the noise—0
Deep Ridgelet Transform and Unified Universality Theorem for Deep and Shallow Joint-Group-Equivariant Machines—0
Show:102550
← PrevPage 6 of 13Next →

No leaderboard results yet.