Lean for the Curious Mathematician 2023 Kaiyu Yang, Theorem Proving via Machine Learning

Lean for the Curious Mathematician 2023 Kaiyu Yang, Theorem Proving via Machine Learning
Share:

Download MP3


Similar Tracks

Lean Together 2025: Lorenzo Luccioli, Information theory in Lean: the DPI leanprover community
Lean Together 2025: Joseph Tooby-Smith, Physics and Lean leanprover community
Metalake - Meta’s Mutable Data Lake for Scalable Pre training Data Loading - Darren Fu, Meta VeloxCon
But what are Hamming codes? The origin of error correction 3Blue1Brown
What is “reasoning” in modern AI? Machine Learning Street Talk
Vision Transformer Quick Guide - Theory and Code in (almost) 15 min DeepFindr
Geometer Explains One Concept in 5 Levels of Difficulty | WIRED WIRED
Lean Together 2025: Hannah Fechtner, Braid Groups in Lean leanprover community
Don’t Underestimate the Power of SCOM — Connecting the dots with MetrixInsight as a Service GripMatix
Transformers (how LLMs work) explained visually | DL5 3Blue1Brown
But what is a neural network? | Deep learning chapter 1 3Blue1Brown
LoRA explained (and a bit about precision and quantization) DeepFindr
Lean Together 2025: Alex Kontorovich, Complex Analysis and PrimeNumberTheorem+ in Lean leanprover community
Flush based Cache Side Channel Attacks and Defense FoRTEResearchLab
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference Ontology Talk with Adam Pease
Lean Together 2025: Yuma Mizuno, Metaprogramming on monoidal categories leanprover community