| PEER: Expertizing Domain-Specific Tasks with a Multi-Agent Framework and Tuning Methods | Jul 9, 2024 | Information RetrievalLEMMA | CodeCode Available | 7 |
| Heterogeneous-Agent Reinforcement Learning | Apr 19, 2023 | LEMMAMulti-agent Reinforcement Learning | CodeCode Available | 2 |
| On the distance between two neural networks and the stability of learning | Feb 9, 2020 | LEMMA | CodeCode Available | 1 |
| LEMMA: Learning from Errors for MatheMatical Advancement in LLMs | Mar 21, 2025 | LEMMA | CodeCode Available | 1 |
| Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning | Mar 1, 2021 | LEMMA | CodeCode Available | 1 |
| UniMorph 2.0: Universal Morphology | Oct 25, 2018 | LEMMA | CodeCode Available | 1 |
| Efficient Reinforcement Learning Through Trajectory Generation | Nov 30, 2022 | LEMMAOffline RL | CodeCode Available | 1 |
| Adaptive tracking MPC for nonlinear systems via online linear system identification | May 16, 2024 | LEMMAModel Predictive Control | CodeCode Available | 1 |
| Learning compositional functions via multiplicative weight updates | Jun 25, 2020 | LEMMA | CodeCode Available | 1 |
| LEMMA: A Multi-view Dataset for Learning Multi-agent Multi-task Activities | Jul 31, 2020 | Action RecognitionAction Understanding | CodeCode Available | 1 |
| 2 * n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable Problems | May 9, 2023 | coreference-resolutionCoreference Resolution | CodeCode Available | 1 |
| Post-selection inference with HSIC-Lasso | Oct 29, 2020 | LEMMAVariable Selection | CodeCode Available | 1 |
| Towards Robust Scene Text Image Super-resolution via Explicit Location Enhancement | Jul 19, 2023 | Image Super-ResolutionLEMMA | CodeCode Available | 1 |
| Trust Region Policy Optimisation in Multi-Agent Reinforcement Learning | Sep 23, 2021 | LEMMAMuJoCo | CodeCode Available | 1 |
| 2∗n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable Problems | Jul 1, 2023 | coreference-resolutionCoreference Resolution | CodeCode Available | 1 |
| Deep Generation of Coq Lemma Names Using Elaborated Terms | Apr 16, 2020 | LEMMA | CodeCode Available | 1 |
| DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic Flow | Mar 20, 2022 | Autonomous VehiclesLEMMA | CodeCode Available | 1 |
| Distributed data-driven predictive control for cooperatively smoothing mixed traffic flow | Oct 24, 2022 | LEMMA | CodeCode Available | 1 |
| Language Modelling Makes Sense: Propagating Representations through WordNet for Full-Coverage Word Sense Disambiguation | Jun 24, 2019 | Language ModellingLEMMA | CodeCode Available | 1 |
| Lean Formalization of Generalization Error Bound by Rademacher Complexity | Mar 25, 2025 | LEMMAPAC learning | CodeCode Available | 1 |
| Adversarial Robustness via Random Projection Filters | Jan 1, 2023 | Adversarial RobustnessAttribute | CodeCode Available | 1 |
| Learning Graphons via Structured Gromov-Wasserstein Barycenters | Dec 10, 2020 | LEMMA | CodeCode Available | 1 |
| LEMMA: Towards LVLM-Enhanced Multimodal Misinformation Detection with External Knowledge Augmentation | Feb 19, 2024 | Language ModelingLanguage Modelling | CodeCode Available | 1 |
| Adaptive fuzzy control of electrohydraulic servosystems | May 31, 2022 | LEMMA | —Unverified | 0 |
| Adaptive Event-triggered Control with Sampled Transmitted Output and Controller Dynamics | Jul 16, 2024 | LEMMA | —Unverified | 0 |
