The Proof Analysis Problem

Whole-channel inclusion: FOCS 2025 (title sample: Full conference talk recordings presenting original theoretical computer science research, each a substantive technical presentation of worked results consistent with expert technical talks.; 3 of 3 sampled transcripts read as real teaching); this title passed a strict title check.

A 22-minute video from FOCS 2025: “The Proof Analysis Problem”.

Video by FOCS 2025, played through YouTube's embedded player.