Certification with an NP Oracle

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=7BFnKbE3Ct4


Duration: 16:14
733 views
0

Authors: Guy Blanc, Caleb Koch (Stanford University); Jane Lange (MIT); Carmen Strassle, Li-Yang Tan (Stanford University)
ITCS - Innovations in Theoretical Computer Science



Other Videos By Simons Institute for the Theory of Computing


2023-01-18Kolmogorov Complexity for Meta-Complexity for Theoreticians
2023-01-18The Power of Distinguishing Simple From Random (Part II)
2023-01-18The Power of Distinguishing Simple From Random (Part I)
2023-01-18Intro to Meta-Complexity: Part 2
2023-01-17Intro to Meta-Complexity: Part 1
2023-01-15Constant-depth sorting networks
2023-01-12Black-box Constructive Proofs are Unavoidable
2023-01-11On Oracles and Algorithmic Methods for Proving Lower Bounds
2023-01-09On disperser/lifting properties of the Index and Inner-Product functions
2023-01-09Bit Complexity of Jordan Normal Form and Spectral Factorization
2023-01-08Certification with an NP Oracle
2023-01-08Matrix multiplication via matrix groups
2023-01-06TFNP Characterizations of Proof Systems and Monotone Circuits
2023-01-06Resilience of 3-Majority Dynamics to Non-Uniform Schedulers
2023-01-05Exponential separations using guarded extension variables
2023-01-05Beyond Worst-Case Budget-Feasible Mechanism Design
2023-01-05HappyMap: A Generalized Multicalibration Method
2023-01-05Worst-Case to Expander-Case Reductions
2023-01-04Proofs of Quantumness from Trapdoor Permutations
2023-01-04On computing homological hitting sets
2023-01-04A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
ITCS - Innovations in Theoretical Computer Science