SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 151–200 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
Data Augmentation for Conflict and Duplicate Detection in Software Engineering Sentence Pairs—0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems—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
Conditional Preference Orders and their Numerical Representations—0
Data-Enabled Predictive Control for Flexible Spacecraft—0
Data-enabled Predictive Repetitive Control—0
DBA: Efficient Transformer with Dynamic Bilinear Low-Rank Attention—0
De-Biasing The Lasso With Degrees-of-Freedom Adjustment—0
Debreu's open gap lemma for semiorders—0
Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control—0
Deep 2FBSDEs For Systems With Control Multiplicative Noise—0
Deep Generalized Schrödinger Bridges: From Image Generation to Solving Mean-Field Games—0
A Note on the Convergence of Mirrored Stein Variational Gradient Descent under (L_0,L_1)-Smoothness Condition—0
Deep Graphic FBSDEs for Opinion Dynamics Stochastic Control—0
Asymptotic normality and optimalities in estimation of large Gaussian graphical models—0
A Homological Theory of Functions—0
Deep-Learning Based Auction-Driven Beamforming for Wireless Information and Power Transfer—0
Deep Nonlinear Stochastic Optimal Control for Systems with Multiplicative Uncertainties—0
Deep Ridgelet Transform: Voice with Koopman Operator Proves Universality of Formal Deep Networks—0
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories—0
Compression Barriers for Autoregressive Transformers—0
Deleting and Testing Forbidden Patterns in Multi-Dimensional Arrays—0
Augmented Bayesian Policy Search—0
Development of a rule-based lemmatization algorithm through Finite State Machine for Uzbek language—0
Differentially Private Assouad, Fano, and Le Cam—0
A Multiset Version of Even-Odd Permutations Identity—0
Dimensionality Reduction of Affine Variational Inequalities Using Random Projections—0
Direct data-driven state-feedback control of general nonlinear systems—0
A note on concentration inequality for vector-valued martingales with weak exponential-type tails—0
Show:102550
← PrevPage 4 of 13Next →

No leaderboard results yet.