What are the prospects for automatic theorem proving?
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceExplores automated theorem proving prospects and challenges. Lecture examining current capabilities, limitations, and research directions in formal verification.
What you'll learn
A 63-minute video from Microsoft Research: “What are the prospects for automatic theorem proving?”.
Video by Microsoft Research, played through YouTube's embedded player.