news
| Sep 1, 2024 | Four PhD students have joined the L3 Lab. Welcome! |
|---|---|
| Jun 1, 2024 | Received a gift from Convergent Research and the Lean FRO supporting our work. |
| Nov 21, 2023 | New Neural Code Generation course in Spring 2024: [website] |
| Sep 1, 2024 | Four PhD students have joined the L3 Lab. Welcome! |
|---|---|
| Jun 1, 2024 | Received a gift from Convergent Research and the Lean FRO supporting our work. |
| Nov 21, 2023 | New Neural Code Generation course in Spring 2024: [website] |