Machine Learning and Autoformalisation

Speaker: Anthony Bordg, University of Cambridge

Thursday Nov 16 2022, 14:00, room 3U42

Abstract:

In this talk, I will describe our early achievements and future plans for increasing, through machine learning, Isabelle's competitiveness.