Interactive Proof Systems Courses
Simons Institute via YouTube NEXP is Contained in MIP* - Complexity Theory Breakthrough
IEEE via YouTube Discussion on MIP* = RE
Institute for Advanced Study via YouTube Subgroup Tests and Tailored Non-local Games - Lecture on Interactive Proof Systems
Institute for Advanced Study via YouTube Subgroup Tests and the Aldous-Lyons Conjecture
Institute for Advanced Study via YouTube Subgroup Tests and the Aldous-Lyons Conjecture
Institute for Advanced Study via YouTube