| Efficient Reinforcement Learning Through Trajectory Generation | Nov 30, 2022 | LEMMAOffline RL | CodeCode Available | 1 |
| Distributed data-driven predictive control for cooperatively smoothing mixed traffic flow | Oct 24, 2022 | LEMMA | CodeCode Available | 1 |
| DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic Flow | Mar 20, 2022 | Autonomous VehiclesLEMMA | CodeCode Available | 1 |
| Trust Region Policy Optimisation in Multi-Agent Reinforcement Learning | Sep 23, 2021 | LEMMAMuJoCo | CodeCode Available | 1 |
| Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning | Mar 1, 2021 | LEMMA | CodeCode Available | 1 |
| Learning Graphons via Structured Gromov-Wasserstein Barycenters | Dec 10, 2020 | LEMMA | CodeCode Available | 1 |
| Post-selection inference with HSIC-Lasso | Oct 29, 2020 | LEMMAVariable Selection | CodeCode Available | 1 |
| LEMMA: A Multi-view Dataset for Learning Multi-agent Multi-task Activities | Jul 31, 2020 | Action RecognitionAction Understanding | CodeCode Available | 1 |
| Learning compositional functions via multiplicative weight updates | Jun 25, 2020 | LEMMA | CodeCode Available | 1 |
| Deep Generation of Coq Lemma Names Using Elaborated Terms | Apr 16, 2020 | LEMMA | CodeCode Available | 1 |
