SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 101–125 of 628 papers

TitleStatusHype
Adaptive Event-triggered Control with Sampled Transmitted Output and Controller Dynamics—0
FedsLLM: Federated Split Learning for Large Language Models over Communication Networks—0
Adaptive Backstepping and Non-singular Sliding Mode Control for Quadrotor UAVs with Unknown Time-varying Uncertainties—0
Augmented Bayesian Policy Search—0
Graphon Particle Systems, Part II: Dynamics of Distributed Stochastic Continuum Optimization—0
Superconstant Inapproximability of Decision Tree Learning—0
To Word Senses and Beyond: Inducing Concepts with Contextualized Language Models—0
An Optimal Tightness Bound for the Simulation Lemma—0
Background results for robust minmax control of linear dynamical systems—0
Frequency-Domain Data-Driven Predictive Control—0
Discrete-Time Conewise Linear Systems with Finitely Many Switches—0
e-COP : Episodic Constrained Optimization of Policies—0
A Generalized Version of Chung's Lemma and its Applications—0
LEMMA-RCA: A Large Multi-modal Multi-domain Dataset for Root Cause Analysis—0
Theoretical Guarantees for Variational Inference with Fixed-Variance Mixture of Gaussians—0
An overview of systems-theoretic guarantees in data-driven model predictive control—0
RL in Latent MDPs is Tractable: Online Guarantees via Off-Policy Evaluation—0
Learning on Large Graphs using Intersecting CommunitiesCode0
Training-efficient density quantum machine learning—0
Laurel: Unblocking Automated Verification with Large Language Models—0
An input-output continuous-time version of Willems' lemma—0
Deep Ridgelet Transform and Unified Universality Theorem for Deep and Shallow Joint-Group-Equivariant Machines—0
Restless Linear Bandits—0
A Certified Proof Checker for Deep Neural Network Verification in Imandra—0
Lower Bounds for Private Estimation of Gaussian Covariance Matrices under All Reasonable Parameter Regimes—0
Show:102550
← PrevPage 5 of 26Next →

No leaderboard results yet.