Recent Advances in Probabilistically Checkable Proofs
CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United StatesColloquium Speaker: Dor Minzer (MIT) Title: Recent Advances in Probabilistically Checkable Proofs Abstract: The PCP Theorem is a cornerstone of computer science, with applications to hardness of approximation, verification, interactive protocols […]