SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 71–80 of 628 papers

TitleStatusHype
Characterizing nonlinear systems with mixed input-output properties through dissipation inequalities—0
Data-enabled Predictive Repetitive Control—0
Adaptive Backtracking Line Search—0
Learning Deep Dissipative DynamicsCode0
On the Approximability of Stationary Processes using the ARMA Model—0
Differentially Private Stochastic Gradient Descent with Fixed-Size Minibatches: Tighter RDP Guarantees with or without ReplacementCode0
Efficient Reinforcement Learning in Probabilistic Reward Machines—0
A Unified Confidence Sequence for Generalized Linear Models, with Applications to BanditsCode0
A Unifying Post-Processing Framework for Multi-Objective Learn-to-Defer ProblemsCode0
Adaptive Event-triggered Control with Sampled Transmitted Output and Controller Dynamics—0
Show:102550
← PrevPage 8 of 63Next →

No leaderboard results yet.