Extremely Deep Proofs

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


Duration: 28:10
168 views
3

13th Innovations in Theoretical Computer Science Conference (ITCS 2022)
http://itcs-conf.org/

Extremely Deep Proofs

Noah Fleming (University of Toronto)
Toniann Pitassi (University of Toronto)
Robert Robere (McGill University)

https://doi.org/10.4230/LIPIcs.ITCS.2022.70



Other Videos By Simons Institute for the Theory of Computing


2022-01-28Bounded indistinguishability for simple sources
2022-01-28Small-Box Cryptography
2022-01-28Individual Fairness in Advertising Auctions through Inverse Proportionality
2022-01-28On Hardness Assumptions Needed for ``Extreme High-End'' PRGs and Fast Derandomization
2022-01-28Uniform Bounds for Scheduling with Job Size Estimates
2022-01-28Cursed yet Satisfied Agents
2022-01-28Lifting With Sunflowers
2022-01-28Improved Hardness of BDD and SVP Under Gap-(S)ETH
2022-01-28Online Multivalid Learning: Means, Moments, and Prediction Intervals
2022-01-28Low-bandwidth recovery of linear functions of Reed-Solomon-encoded data
2022-01-28Extremely Deep Proofs
2022-01-28Balanced Allocations with Incomplete Information: The Power of Two Queries
2022-01-28Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for all Distributi
2022-01-28What Does Dynamic Optimality Mean in External Memory?
2022-01-28On polynomially many queries to NP or QMA oracles
2022-01-28Explicit Abelian Lifts and Quantum LDPC Codes
2022-01-28The importance of the spectral gap in estimating ground-state energies
2022-01-28Polynomial Identity Testing via Evaluation of Rational Functions
2022-01-28Almost-Orthogonal Bases for Inner Product Polynomials
2022-01-28More Dominantly Truthful Multi-task Peer Prediction with a Finite Number of Tasks
2022-01-28Classical algorithms and quantum limitations for maximum cut on high-girth graphs