SOTAVerified

LEMMA

Papers

Showing 110 of 628 papers

TitleStatusHype
PEER: Expertizing Domain-Specific Tasks with a Multi-Agent Framework and Tuning MethodsCode7
Heterogeneous-Agent Reinforcement LearningCode2
2 * n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic FlowCode1
2∗n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
Efficient Reinforcement Learning Through Trajectory GenerationCode1
Adversarial Robustness via Random Projection FiltersCode1
Adaptive tracking MPC for nonlinear systems via online linear system identificationCode1
Deep Generation of Coq Lemma Names Using Elaborated TermsCode1
Distributed data-driven predictive control for cooperatively smoothing mixed traffic flowCode1
Show:102550
← PrevPage 1 of 63Next →

No leaderboard results yet.