Lecture 11: Abstraction and Discovery with Large Language Model Agents
Link to lecture recording on YouTube
Date: 2025-04-21
Speaker: Swarat Chaudhuri
Speaker’s social profile: Website / Google Scholar / GitHub / LinkedIn / X (Twitter)
Education:
- Ph.D. in Computer Science, 2007, University of Pennsylvania
- Bachelor’s Degree in Computer Science, 2001, Indian Institute of Technology, Kharagpur
Work:
- Professor of Computer Science, University of Texas at Austin
- Senior Staff Research Scientist, Google Deepmind
Notes
Mathematical discovery:
- inspired by real-world phenomenon, then modeling it in terms of a variety of definitions and concepts
- conjecture various properties of these definitions and these are potential candidate theorems and lemmas
- prove / counter these statements by rigorous reasoning
AI for math: automate conjecturing and proof
[Incomplete, work in progress]
References