Simons Institute for the Theory of Computing and SLMath Join

Stream: Machine Learning for Theorem Proving

[Anh Nguyễn]

The Simons Institute for the Theory of Computing had a workshop from Monday, Apr. 7 – Friday, Apr. 11, 2025. It covers a lot of topics related to Machine Assisted Theorem Proving and Lean. Do we have slides and videos of the talks in that event? I'd be very grateful if you share with me the videos and slides
Here is the link: https://simons.berkeley.edu/workshops/simons-institute-theory-computing-slmath-joint-workshop-ai-mathematics-theoretical/schedule

[Rémy Degenne]

If you click on any of the talks in the schedule, you get to a page with a recording, and sometimes slides.