L3 Lab at CMU

The L3 Lab at CMU focuses on Machine Learning, Language, and Logic. This includes:
- Foundations and applications of large language models, including code and reasoning.
- Scalable learning, inference, and evaluation algorithms.
- Machine learning systems that discover knowledge and improve over time.
news
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 neuro-symbolic approaches to mechanized mathematical reasoning. |
Aug 25, 2025 | Pranjal Aggarwal named a SoftBank Group-Arm Fellow. |
Aug 4, 2025 | ICARM (Institute for Computer-Aided Reasoning in Mathematics), a new NSF Mathematical Sciences Research Institute, has been founded. PI Welleck serves as Assistant Director of Scientific Activities. |
Apr 24, 2025 | The BiGGen Bench received the Best Paper Award at NAACL 2025. |
Jan 14, 2025 | Teaching Advanced Natural Language Processing: [website] |
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) | |
MS | Anmol Agarwal |
Riyaz Ahuja (co-advised with Jeremy Avigad) | |
Jiewen Hu | |
Qinyue Tan | |
Thomas Zhu | |
Undergrad | Tate Rowney |