SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 101–150 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
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
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
A Certified Proof Checker for Deep Neural Network Verification in Imandra—0
Restless Linear Bandits—0
Lower Bounds for Private Estimation of Gaussian Covariance Matrices under All Reasonable Parameter Regimes—0
Deep Hankel matrices with random elementsCode0
Node Similarities under Random Projections: Limits and Pathological Cases—0
OOVs in the Spotlight: How to Inflect them?Code0
Farkas' Lemma and Complete Indifference—0
Convergence Guarantees for RMSProp and Adam in Generalized-smooth Non-convex Optimization with Affine Noise Variance—0
Cross-lingual Named Entity Corpus for Slavic LanguagesCode0
The LSCD Benchmark: a Testbed for Diachronic Word Meaning Tasks—0
An invitation to the sample complexity of quantum hypothesis testing—0
Evaluating Shortest Edit Script Methods for Contextual LemmatizationCode0
Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control—0
From Raw Data to Safety: Reducing Conservatism by Set Expansion—0
Optimal Data-Driven Prediction and Predictive Control using Signal Matrix Models—0
Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code—0
Horizon-Free Regret for Linear Markov Decision Processes—0
Exploring the Links between the Fundamental Lemma and Kernel Regression—0
Mirror Descent Algorithms with Nearly Dimension-Independent Rates for Differentially-Private Stochastic Saddle-Point Problems—0
Level Set Teleportation: An Optimization Perspective—0
On the impact of measure pre-conditionings on general parametric ML models and transfer learning via domain adaptation—0
Limits to classification performance by relating Kullback-Leibler divergence to Cohen's Kappa—0
Probability Tools for Sequential Random Projection—0
Conformal Predictive Programming for Chance Constrained Optimization—0
Simple, unified analysis of Johnson-Lindenstrauss with applications—0
High-Performance Distributed Control for Large-Scale Linear Systems: A Partitioned Distributed Observer Approach—0
TREET: TRansfer Entropy Estimation via TransformersCode0
On a Combinatorial Problem Arising in Machine Teaching—0
Show:102550
← PrevPage 3 of 13Next →

No leaderboard results yet.