Working with Toni in Algebraic Proof Complexity

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


Duration: 31:00
431 views
2

Josh Grochow (University of Colorado at Boulder) *presenting virtually
https://simons.berkeley.edu/talks/josh-grochow-university-colorado-boulder-presenting-virtually-2023-03-28
ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi

Some stories about what it's been like to work with Toni and have her as a mentor over the past decade. Technical results that I'll touch upon briefly include our work on the Ideal Proof System, as well as some very recent results on the algebraic proof complexity of Tensor Isomorphism (joint with Toni, Nicola Galesi, and Adrian She).



Other Videos By Simons Institute for the Theory of Computing


2023-03-30A Theory of ToniCS
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


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
Josh Grochow