SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 151–175 of 628 papers

TitleStatusHype
Convergent Privacy Loss of Noisy-SGD without Convexity and Smoothness—0
Convex Set Disjointness, Distributed Learning of Halfspaces, and LP Feasibility—0
Copenhagen at CoNLL--SIGMORPHON 2018: Multilingual Inflection in Context with Explicit Morphosyntactic Decoding—0
CoProver: A Recommender System for Proof Construction—0
Correction to:"Position estimation from direction or range measurements"—0
COSMOS: Experimental and Comparative Studies of Concept Representations in Schoolchildren—0
Creating Domain Dependent Turkish WordNet and SentiNet—0
Approximation Schemes for Low-Rank Binary Matrix Approximation Problems—0
A Note on the Convergence of Mirrored Stein Variational Gradient Descent under (L_0,L_1)-Smoothness Condition—0
A Homological Theory of Functions—0
Data-driven control via Petersen's lemma—0
Data-driven distributed MPC of dynamically coupled linear systems—0
archer at SemEval-2021 Task 1: Contextualising Lexical Complexity—0
Data-driven Internal Model Control for Output Regulation—0
Data-Driven Modeling of Aggregate Flexibility under Uncertain and Non-Convex Load Models—0
Data-Driven Model Predictive Control for Linear Time-Periodic Systems—0
Data-driven Moving Horizon Estimation for Angular Velocity of Space Noncooperative Target in Eddy Current De-tumbling Mission—0
Data-Driven Optimal Control of Affine Systems: A Linear Programming Perspective—0
Data-Driven Pole Placement in LMI Regions with Robustness Constraints—0
Data-Driven Predictive Control for Linear Parameter-Varying Systems—0
Data-driven predictive control with improved performance using segmented trajectories—0
Data-driven tube-based stochastic predictive control—0
Data-driven Stochastic Output-Feedback Predictive Control: Recursive Feasibility through Interpolated Initial Conditions—0
Data-driven System Interconnections and a Novel Data-enabled Internal Model Control—0
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories—0
Show:102550
← PrevPage 7 of 26Next →

No leaderboard results yet.