Guiding Formal Methods with Discovered Knowledge - Swarat Chaudhuri

Round-10 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events) and provenance check passed; strict per-title check + final strict pass; oEmbed verified.

A 51-minute video from ETH WSCR: “Guiding Formal Methods with Discovered Knowledge - Swarat Chaudhuri”.

Video by ETH WSCR, played through YouTube's embedded player.