Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI
Leonardo de Moura
Online too!

https://www.sciencehub.ucla.edu/science-hub-showcase-2024/
Science Hub Showcase 2024 | Science Hub for Humanity and Artificial Intelligence