On Extended Frege Proofs

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


Duration: 38:55
272 views
1

Sam Buss (UC San Diego)
https://simons.berkeley.edu/talks/sam-buss-2023-03-28
ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi

We take a tour of what is known about the complexity of Extended Frege Proofs.



Other Videos By Simons Institute for the Theory of Computing


2023-03-30Randomized versus Deterministic Decision Tree Size
2023-03-30Weak Automat*ability
2023-03-29Inspiration
2023-03-29Alvy Ray Smith | Polylogues
2023-03-29Student Session
2023-03-29Student Session - talks from Morgan Shirley, Adrian She, Elliot Creager, Noah Fleming...
2023-03-29Efficient Quantum Gibbs Samplers | Quantum Colloquium
2023-03-29My Collaborations with Toni Pitassi
2023-03-29Open Problems that Baffled Toni (so far)
2023-03-29Working with Toni in Algebraic Proof Complexity
2023-03-28On Extended Frege Proofs
2023-03-28Efficient Quantum Gibbs Samplers | Quantum Colloquium
2023-03-28Student Session - talks from Denis Pankratov, David Madras, Ian Mertz, Yuval Filmus
2023-03-28How to Solve Math Problems Without Talent
2023-03-28Student Session
2023-03-28Theory and Practice: Some Things I Learned About Computation and Life From Toni Pitassi
2023-03-28Extension-Based Proofs
2023-03-28Toni Counts, Continually!
2023-03-27In Search of the Ideal: Toni Pitassi and her work on Algebraic Proof Systems
2023-03-25TFNP
2023-03-25Lower Bounds for NW-generators in AC0-Frege


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi
Sam Buss