
[43] Swarat Chaudhuri - Logics and Algorithms for Software Model Checking
The Thesis Review
00:00
Intro
This chapter explores the connections between programming languages, formal methods, and machine learning through the lens of the guest's research. It covers topics such as program synthesis, large language models, and offers insights on choosing research topics for sustained focus.
Transcript
Play full episode