Unprovability and Other Impossibility Results in Machine Learning

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


Duration: 46:56
712 views
11

Shai Ben-David (University of Waterloo)
https://simons.berkeley.edu/talks/shai-ben-david-university-waterloo-2023-03-24-0
Proof Complexity and Meta-Mathematics

I will present some unprovability and other impossibility results in machine learning and discuss what are the actual "practical" implications of such results.



Other Videos By Simons Institute for the Theory of Computing


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
2023-03-23Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
Proof Complexity and Meta-Mathematics
Shai Ben-David