Interactivity and Proof Strategies
Daniel and Talia discuss the relative difficulty of using different proof strategies and the potential for interactive guidance to make the process easier. They explore the importance of understanding in proofs and the potential for tools to learn from human explanations of mistakes.In this clip
From this podcast
The Gradient
Talia Ringer: Formal Verification and Deep Learning
Related Questions