Speaker: Anthony Bordg, University of Cambridge
Thursday, 16 November 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.
Speaker: Anthony Bordg, University of Cambridge
Thursday, 16 November 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.