EI Seminar - Jacob Andreas - Good Old-fashioned LLMs (or, Autoformalizing the World)
1:07:02
EI Seminar - Robert Guangyu Yang - Progress and Challenges of Language Model Powered Agents
1:15:19
EI Seminar - Leslie Pack Kaelbling - The Last Four Frames Are Not All You Need
1:00:28
Terry Sejnowski on The Future of AI, ChatGPT & Deep Learning
1:09:58
MIT Introduction to Deep Learning | 6.S191
18:02
Automated Mathematical Proofs - Computerphile
1:13:23
Language Models as World Models
1:15:17
EI Seminar - Mohit Iyyer - Evaluating and Detecting Long-form LLM-generated Text
56:59