Weak Automat*ability

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


Duration: 36:06
307 views
2

María Luisa Bonet Carbonell (Universitat Politècnica de Catalunya)
https://simons.berkeley.edu/talks/maria-luisa-bonet-carbonell-2023-03-29
ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi

I will present results on non weak automatability, introduced by Toni Pitassi, Ran Raz and me. There will also be a discussion about how to extend the results to weaker systems.



Other Videos By Simons Institute for the Theory of Computing


2023-04-18IPASIR-UP: User Propagators for CDCL
2023-04-18CDCL SAT Solving and Applications to Optimization Problems
2023-04-18On Bounded Depth Proofs For Tseitin Formulas On The Grid; Revisited
2023-04-18A Survey of Automatability
2023-04-17In Search of the Hard Instances
2023-04-12Gödel and the Vicious Circle: On the (In)Feasibility of Lower Bounds
2023-04-12Quantum Pseudoentanglement | Quantum Colloquium
2023-04-05Building Human Intelligence at Scale, to Save the Next Generation from ChatGPT
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


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
María Luisa Bonet Carbonell