SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 201–250 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
Compression Barriers for Autoregressive Transformers—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
A note on concentration inequality for vector-valued martingales with weak exponential-type tails—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
Estimator of Prediction Error Based on Approximate Message Passing for Penalized Linear Regression—0
Euclidean Distance Matrix Completion via Asymmetric Projected Gradient Descent—0
Price modelling under generalized fractional Brownian motion—0
Evaluating a New Danish Sentiment Resource: the Danish Sentiment Lexicon, DSL—0
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics—0
Even Order Explicit Symplectic Geometric Algorithms for Solving Quaternions in Guidance Navigation and Control via Diagonal Padé Approximation and Cayley Transform—0
Exact Byte-Level Probabilities from Tokenized Language Models for FIM-Tasks and Model Ensembles—0
Exclusion and multiplicity for stable communities in Lotka-Volterra systems—0
Exploiting Arabic Diacritization for High Quality Automatic Annotation—0
Exploring the Links between the Fundamental Lemma and Kernel Regression—0
Expressive Power of Randomized Signature—0
Characterizing nonlinear systems with mixed input-output properties through dissipation inequalities—0
Factored Neural Machine Translation Architectures—0
Farkas' Lemma and Complete Indifference—0
FeatureBART: Feature Based Sequence-to-Sequence Pre-Training for Low-Resource NMT—0
FedsLLM: Federated Split Learning for Large Language Models over Communication Networks—0
Feynman-Kac Neural Network Architectures for Stochastic Control Using Second-Order FBSDE Theory—0
Character-level Supervision for Low-resource POS Tagging—0
Chasing Ghosts: Competing with Stateful Policies—0
Follow-ups Also Matter: Improving Contextual Bandits via Post-serving Contexts—0
Frequency-dependent Switching Control for Disturbance Attenuation of Linear Systems—0
Frequency-Domain Data-Driven Predictive Control—0
From Raw Data to Safety: Reducing Conservatism by Set Expansion—0
From System Level Synthesis to Robust Closed-loop Data-enabled Predictive Control—0
Metric Transforms and Low Rank Matrices via Representation Theory of the Real Hyperrectangle—0
Compressed Dictionary Learning—0
Show:102550
← PrevPage 5 of 13Next →

No leaderboard results yet.