Wednesday 16 November 2022, 14:00: Machine Learning and Autoformalisation, Anthony Bordg (Cambridge University).

Recently, there has been renewed interest in interactive theorem provers, among them Isabelle/HOL. In this talk, I will describe our early achievements and future plans for contributing to the autoformalisation of mathematics through machine learning.