SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 101–150 of 628 papers

TitleStatusHype
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
Adaptive tracking MPC for nonlinear systems via online linear system identificationCode1
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
Level Set Teleportation: An Optimization Perspective—0
Mirror Descent Algorithms with Nearly Dimension-Independent Rates for Differentially-Private Stochastic Saddle-Point Problems—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
LEMMA: Towards LVLM-Enhanced Multimodal Misinformation Detection with External Knowledge AugmentationCode1
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
Robust Data-EnablEd Predictive Leading Cruise Control via Reachability Analysis—0
Q-Star Meets Scalable Posterior Sampling: Bridging Theory and Practice via HyperAgentCode0
Bayes-Optimal Fair Classification with Linear Disparity Constraints via Pre-, In-, and Post-processingCode0
Sampling-based Stochastic Data-driven Predictive Control under Data Uncertainty—0
An impossibility theorem concerning positive involvement in votingCode0
Reply to 'Comments on Graphon Signal Processing' [arXiv:2310.14683]—0
Linear-Quadratic Problems in Systems and Controls via Covariance Representations and Linear-Conic Duality: Finite-Horizon Case—0
Lyapunov-Krasovskii Functionals of Robust Type for the Stability Analysis in Time-Delay Systems—0
Greedy Grammar Induction with Indirect Negative Evidence—0
Leveraging the Urysohn Lemma of Topology for an Enhanced Binary ClassifierCode0
Stochastic Data-Driven Predictive Control: Regularization, Estimation, and Constraint Tightening—0
Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammars—0
A Frequency-Domain Version of Willems' Fundamental Lemma—0
Data-driven System Interconnections and a Novel Data-enabled Internal Model Control—0
A Linear Parameter-Varying Approach to Data Predictive Control—0
The Exact Determinant of a Specific Class of Sparse Positive Definite Matrices—0
ChiSCor: A Corpus of Freely Told Fantasy Stories by Dutch Children for Computational Linguistics and Cognitive Science—0
Closing the Gap Between the Upper Bound and the Lower Bound of Adam's Iteration Complexity—0
Show:102550
← PrevPage 3 of 13Next →

No leaderboard results yet.