Implicit Proof Systems

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


Duration: 36:06
327 views
1

Pavel Pudlák (Academy of Sciences of the Czech Republic)
https://simons.berkeley.edu/talks/pavel-pudlak-academy-sciences-czech-republic-2023-03-24-0
Proof Complexity and Meta-Mathematics



Other Videos By Simons Institute for the Theory of Computing


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
2023-03-25Implicit Proof Systems
2023-03-24Unprovability and Other Impossibility Results in Machine Learning
2023-03-24Weak Versions of Extended Resolution
2023-03-24CDCL vs Resolution: The Picture in QBF
2023-03-24Read-Once Branching Programs as Proof Lines
2023-03-24Connections Between QBF Proof Complexity and Circuit Complexity
2023-03-24Certifying Combinatorial Solving Using Cutting Planes with Strengthening Rules
2023-03-24On the Dominance-Based Strengthening Rule
2023-03-23On the Problems Related to Waring Rank and Border Waring Rank
2023-03-23Lower Bounds Against Non-Commutative Models of Algebraic Computation
2023-03-23Natural Proofs in Algebraic Circuit Complexity


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
Proof Complexity and Meta-Mathematics
Pavel Pudlák