SOTAVerified

LEMMA

Papers

Showing 1120 of 628 papers

TitleStatusHype
2 * n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
LEMMA: A Multi-view Dataset for Learning Multi-agent Multi-task ActivitiesCode1
Adversarial Robustness via Random Projection FiltersCode1
On the distance between two neural networks and the stability of learningCode1
Efficient Reinforcement Learning Through Trajectory GenerationCode1
Adaptive tracking MPC for nonlinear systems via online linear system identificationCode1
Deep Generation of Coq Lemma Names Using Elaborated TermsCode1
DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic FlowCode1
Learning Graphons via Structured Gromov-Wasserstein BarycentersCode1
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep LearningCode1
Show:102550
← PrevPage 2 of 63Next →

No leaderboard results yet.