SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 76–100 of 628 papers

TitleStatusHype
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
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
PEER: Expertizing Domain-Specific Tasks with a Multi-Agent Framework and Tuning MethodsCode7
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
Discrete-Time Conewise Linear Systems with Finitely Many Switches—0
Frequency-Domain Data-Driven Predictive Control—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
Show:102550
← PrevPage 4 of 26Next →

No leaderboard results yet.