NeurIPS, 2023
Machine Learning for Theorem Proving Tutorial
Video
Harvard CMSA
Llemma
Given by Sean Welleck.
MATH-AI Workshop, NeurIPS 2022
ProofNet
Contributed talk.