Talk on AlphaProof

Stream: Machine Learning for Theorem Proving

[Michael R Douglas]

We (finally) got a talk (recording here) on AlphaProof, from Thomas Hubert, one of the lead authors. Much of it is survey and telling the story but there is interesting explanation of the methods starting around 50 minutes in. He says they hope to have the paper out before the next IMO (July).