L3 Lab at CMU
The L3 Lab at CMU focuses on Machine Learning, Language, and Logic. This includes:
- Foundations and applications of generative models.
- Scalable learning, inference, and evaluation algorithms.
- Neural tools for formal verification and theorem proving.
- Machine learning systems that discover knowledge and improve over time.
news
| Sep 3, 2026 | Two new PhD students have joined the L3 Lab. Welcome Tianran and Peiyang! |
|---|---|
| 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. |
members
| PhD | Pranjal Aggarwal |
|---|---|
| Weihua Du (co-advised with Yiming Yang) | |
| Andre He (co-advised with Daniel Fried) | |
| Seungone Kim (co-advised with Graham Neubig) | |
| Peiyang Song | |
| Tianran Sun | |
| Zeyu Zheng (co-advised with Prasad Tetali) | |
| MS | Anmol Agarwal |
| Riyaz Ahuja (co-advised with Jeremy Avigad) | |
| Jiewen Hu | |
| Qinyue Tan | |
| Thomas Zhu | |
| Undergrad | Tate Rowney |
sponsors
We are grateful to all of the organizations who have provided funding for the research our lab performs.
