03/06/2023 - 08:49
Christian Szegedy of Google Research gave a presentation in English at the MILAB Basic Research seminar. The presentation, "AI for Mathematics and Autoformalization", 22 February 2023, is available online. Christian Szegedy also gave a presentation during the AI & AUT EXPO, co-organised by MILAB.