Formal Verification and Program Synthesis
Talia Ringer discusses the usefulness of formal verification in domains with common specifications and the potential of using machine learning for program synthesis. She emphasizes the importance of having different approaches for different types of programs.In this clip
From this podcast
The Gradient
Talia Ringer: Formal Verification and Deep Learning
Related Questions