Machine Learning and Theorem Proving

Abstract: The talk will describe several ways in which machine learning is combined with theorem proving today over large corpora of formal proof. If time permits, I will also show some demos of the systems and mention related topics such as ML-guided conjecturing and autoformalization.

data structures and algorithmsmachine learningmathematical physicsinformation theoryoptimization and controldata analysis, statistics and probability

Audience: researchers in the topic

Mathematics, Physics and Machine Learning (IST, Lisbon)

Series comments: To receive the series announcements, please register in:
mpml.tecnico.ulisboa.pt
mpml.tecnico.ulisboa.pt/registration
Zoom link: videoconf-colibri.zoom.us/j/91599759679