Published May 25, 2023
Talia Ringer: Formal Verification and Deep Learning
Explore the intersection of formal verification and deep learning with Talia Ringer, as she delves into the ethical complexities of AI intelligence and the transformative potential of machine learning in proof engineering, highlighted through the Baldur project for enhancing software verification.
Topics covered
Popular Clips
Episode Highlights
Related Episodes
Tal Linzen: Psycholinguistics and Language Modeling
Answers 383 questions
Hugo Larochelle: Deep Learning as Science
Answers 383 questions
Sara Hooker: Cohere For AI, the Hardware Lottery, and DL Tradeoffs
Answers 383 questions
Laura Weidinger: Ethical Risks, Harms, and Alignment of Large Language Models
Answers 383 questions
Vera Liao: AI Explainability and Transparency
Answers 383 questions
Terry Winograd: AI, HCI, Language, and Cognition
Answers 383 questions
Ted Underwood: Machine Learning and the Literary Imagination
Answers 383 questions
Stuart Russell: The Foundations of Artificial Intelligence
Answers 383 questions
Sebastian Raschka: AI Education and Research
Answers 383 questions
Melanie Mitchell: Abstraction and Analogy in AI
Answers 383 questions
Thomas Dietterich: From the Foundations
Answers 383 questionsMeredith Ringel Morris: Generative AI's HCI Moment
Answers 383 questions
Been Kim: Interpretable Machine Learning
Answers 383 questions
Chip Huyen: Machine Learning Tools and Systems
Answers 383 questions
Eric Jang on Robots Learning at Google and Generalization via Language
Answers 383 questions