| Oct 27, 2026 | Holding L3 Lab CUA Week led by Pranjal to release our new work on agents. |
| Oct 9, 2026 | Gym-Anything won Best Paper at COLM Lifelong Agents Workshop. |
| Oct 6, 2026 | Several L3 Lab papers presented at COLM. |
| Sep 3, 2026 | Two new PhD students have joined the L3 Lab. Welcome Tianran and Peiyang! |
| Apr 23, 2026 | Several L3 Lab papers presented at ICLR 2026, including an oral presentation for Lean Hammer. |
| Mar 22, 2026 | Awarded DARPA expMath grant (lead PI) on AI for mathematics. |
| Sep 19, 2025 | Thomas (Hanwen) Zhu named a 2026 Siebel Scholar. |
| Sep 1, 2025 | Awarded NSF MFAI grant (co-PI) on mathematical frontiers of generative AI. |
| Sep 1, 2025 | Awarded NSF AIMing grant (lead PI) on AI for mathematics. |
| Aug 25, 2025 | Pranjal Aggarwal named a SoftBank Group-Arm Fellow. |
| Aug 4, 2025 | ICARM, a new NSF Mathematical Sciences Research Institute founded. |
| Apr 24, 2025 | The BiGGen Bench received the Best Paper Award at NAACL 2025. |
| Dec 10, 2024 | NeurIPS tutorial on inference algorithms for large language models: [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] |