SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 201–225 of 628 papers

TitleStatusHype
Discriminating Homonymy from Polysemy in Wordnets: English, Spanish and Polish Nouns—0
Distributed Control of Multi-agent Systems with Unknown Time-varying Gains: A Novel Indirect Framework for Prescribed Performance—0
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories—0
An adaptive fuzzy sliding mode controller applied to a chaotic pendulum—0
Distributionally robust uncertainty quantification via data-driven stochastic optimal control—0
Disturbance-Adaptive Data-Driven Predictive Control: Trading Comfort Violations for Savings in Building Climate Control—0
Do We Need to Verify Step by Step? Rethinking Process Supervision from a Theoretical Perspective—0
Dr. Livingstone, I presume? Polishing of foreign character identification in literary texts—0
DTN: A Learning Rate Scheme with Convergence Rate of O(1/t) for SGD—0
Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions—0
e-COP : Episodic Constrained Optimization of Policies—0
Efficient Diffusion Models for Symmetric Manifolds—0
Efficient Learning on Large Graphs using a Densifying Regularity Lemma—0
Efficient Reinforcement Learning in Probabilistic Reward Machines—0
Compression Barriers for Autoregressive Transformers—0
Two Efficient Ridge Solutions for the Incremental Broad Learning System on Added Inputs—0
Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code—0
Binary embeddings with structured hashed projections—0
Entity Linking meets Word Sense Disambiguation: a Unified Approach—0
Error analysis of generative adversarial network—0
Estimating High-dimensional Non-Gaussian Multiple Index Models via Stein’s Lemma—0
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data—0
Estimating Stochastic Linear Combination of Non-linear Regressions Efficiently and Scalably—0
Estimation Algorithm Non-Stationary Frequency of the Sinusoidal Signal—0
A note on concentration inequality for vector-valued martingales with weak exponential-type tails—0
Show:102550
← PrevPage 9 of 26Next →

No leaderboard results yet.