SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 126–150 of 628 papers

TitleStatusHype
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 6 of 26Next →

No leaderboard results yet.