Join Yannick Forster from INRIA in this hour-long talk presented at the Simons Institute for the Theory of Computing and SLMath Joint Workshop on AI for Mathematics and Theoretical Computer Science. Explore cutting-edge research at the intersection of artificial intelligence, mathematics, and theoretical computer science as Forster shares insights from his work at INRIA.
Computational Complexity and Formal Verification
Overview
Syllabus
Talk by Yannick Forster (INRIA)
Taught by
Simons Institute
Related Courses
-
Learning-Theoretic Foundations of Algorithm Design
-
AI for Mathematics and Theoretical Computer Science
-
Adventures with an Automatic Prover: Exploring Walnut Software
-
How Can Machine Learning Help Mathematicians?
-
Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery
-
Testing Artificial Mathematical Intelligence
