Europe/Lisbon
Online

Josef Urban

Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics
Machine Learning and Theorem Proving

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.

Additional file

document preview

Urban slides.pdf