SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 628 papers

TitleStatusHype
PEER: Expertizing Domain-Specific Tasks with a Multi-Agent Framework and Tuning MethodsCode7
Heterogeneous-Agent Reinforcement LearningCode2
Learning Graphons via Structured Gromov-Wasserstein BarycentersCode1
Post-selection inference with HSIC-LassoCode1
Lean Formalization of Generalization Error Bound by Rademacher ComplexityCode1
Language Modelling Makes Sense: Propagating Representations through WordNet for Full-Coverage Word Sense DisambiguationCode1
LEMMA: Towards LVLM-Enhanced Multimodal Misinformation Detection with External Knowledge AugmentationCode1
Deep Generation of Coq Lemma Names Using Elaborated TermsCode1
2 * n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
Towards Robust Scene Text Image Super-resolution via Explicit Location EnhancementCode1
LEMMA: A Multi-view Dataset for Learning Multi-agent Multi-task ActivitiesCode1
Adaptive tracking MPC for nonlinear systems via online linear system identificationCode1
2∗n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
Distributed data-driven predictive control for cooperatively smoothing mixed traffic flowCode1
DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic FlowCode1
Efficient Reinforcement Learning Through Trajectory GenerationCode1
Learning compositional functions via multiplicative weight updatesCode1
LEMMA: Learning from Errors for MatheMatical Advancement in LLMsCode1
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep LearningCode1
UniMorph 2.0: Universal MorphologyCode1
Adversarial Robustness via Random Projection FiltersCode1
Trust Region Policy Optimisation in Multi-Agent Reinforcement LearningCode1
On the distance between two neural networks and the stability of learningCode1
Adaptive fuzzy control of electrohydraulic servosystems—0
A Fisher-Rao gradient flow for entropy-regularised Markov decision processes in Polish spaces—0
A Comparative Predicting Stock Prices using Heston and Geometric Brownian Motion Models—0
An ELECTRA Model for Latin Token Tagging Tasks—0
Adaptive Event-triggered Control with Sampled Transmitted Output and Controller Dynamics—0
A Frequency-Domain Version of Willems' Fundamental Lemma—0
A Generalized Version of Chung's Lemma and its Applications—0
A Finite-State Morphological Analyser for Sindhi—0
A Fast Spectral Algorithm for Mean Estimation with Sub-Gaussian Rates—0
Adaptive Backtracking Line Search—0
A Family of Neyman-Pearson-Based Detectors for Noise-Type Radars—0
A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System—0
An automatically generated Danish Renaissance Dictionary—0
An Efficient Solution to s-Rectangular Robust Markov Decision Processes—0
A Neural Lemmatizer for Bengali—0
Adversarial Source Identification Game with Corrupted Training—0
A Linear Parameter-Varying Approach to Data Predictive Control—0
Adaptive Backstepping and Non-singular Sliding Mode Control for Quadrotor UAVs with Unknown Time-varying Uncertainties—0
A Likelihood Ratio-Based Detector for QTMS Radar and Noise Radar—0
Align and Copy: UZH at SIGMORPHON 2017 Shared Task for Morphological Reinflection—0
A Local Polyak-Lojasiewicz and Descent Lemma of Gradient Descent For Overparametrized Linear Models—0
Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation—0
A Mean-Field Theory for Learning the Schönberg Measure of Radial Basis Functions—0
Advancing Full-Text Search Lemmatization Techniques with Paradigm Retrieval from OpenCorpora—0
A Multiset Version of Even-Odd Permutations Identity—0
An adaptive fuzzy dead-zone compensation scheme for nonlinear systems—0
A Lemma Based Evaluator for Semitic Language Text Summarization Systems—0
Show:102550
← PrevPage 1 of 13Next →

No leaderboard results yet.