Swarat Chaudhuri
Professor of computer science at the University of Texas at Austin and visiting researcher at Google DeepMind. His research focuses on AI reasoning, theorem proving, and mathematical discovery.
Best podcasts with Swarat Chaudhuri
Ranked by the Snipd community
32 snips
Nov 25, 2024 • 1h 45min
How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Swarat Chaudhuri)
Professor Swarat Chaudhuri, a computer science expert from the University of Texas at Austin and researcher at Google DeepMind, shares fascinating insights into AI's role in mathematics. He discusses his innovative work on COPRA, a GPT-based theorem prover, and emphasizes the significance of neurosymbolic approaches in enhancing AI reasoning. The conversation explores the potential of AI to assist mathematicians in theorem proving and generating conjectures, all while tackling the balance between AI outputs and human interpretability.
Jun 28, 2022 • 1h 6min
[43] Swarat Chaudhuri - Logics and Algorithms for Software Model Checking
Swarat Chaudhuri, an Associate Professor at the University of Texas, delves into the fascinating intersection of programming languages and machine learning. He discusses the evolution of formal verification and the integration of model checking within AI systems. The conversation highlights advancements in neurosymbolic programming, enhancing reliability in software. Swarat also provides insights on developing reusable modules and emphasizes the importance of practical contributions in research, especially in AI safety and real-world applications.
