Link to lecture recording on YouTube
Date: 2025-04-14
Speaker: Sean Welleck
Speaker’s social profile: Website / Google Scholar / GitHub / LinkedIn / X (Twitter)
Education:
- Ph.D. in Computer Science, 2016-2021, New York University
- M.S.E. in Computer Science, 2013-2014, University of Pennsylvania
- B.S.E. in Computer Science, 2009-2013, University of Pennsylvania
Work:
- Assistant Professor, School of Computer Science, Carnegie Mellon University
Notes
AI agents in expert domains:
- Finance
- Medicine
- Mathematics
- open-ended dialogue
- come up with counter-examples
- help write proofs etc.
“Informal” mathematics: math as raw data (text, images, …)
- flexible
- widely used
- difficult to check
[Incomplete, work in progress]
References