Talks

NeurIPS 2023 Machine Learning for Theorem Proving Tutorial
video
Llemma, Harvard CMSA (given by Sean Welleck)
video
ProofNet, contributed talk at MATH-AI workship NeurIPS'22
video