Episode 43 | Swarat Chaudhuri

Logics and Algorithms for Software Model Checking

Papers and Links:

• Google Scholar
• Homepage
• Thesis
• Neural Program Generation Modulo Static Analysis
• Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics
• Neurosymbolic Programming

Listen: