L3 Lab at CMU

CMU, School of Computer Science, LTI.
PI: Sean Welleck

logo.jpg

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