José A. Alonso
Lean for the Curious Mathematician 2023: Theorem proving via machine learning. ~ Kaiyu Yang. https://youtu.be/HEG_2dd4Jtw #ITP #LeanProver #MachineLearning #Math #LftCM2023
Lean for the Curious Mathematician 2023 Kaiyu Yang, Theorem Proving via Machine Learning

YouTube
Nov 1, 2023 at 5:50pmWeb
Show threadJosé A. AlonsoNov 1, 2023
Lean for the Curious Mathematician 2023: Theorem proving via machine learning (Slides). ~ Kaiyu Yang. https://lftcm2023.github.io/slides/Kaiyu_Yang_TheoremProvingViaMachineLearning.pdf #ITP #LeanProver #MachineLearning #Math #LftCM2023