Please note that this newsitem has been archived, and may contain outdated information or links.
24 August 2023, Master of Logic defense, Katia Parshina
Candidate: Katia Parshina
Title: Intuition and Insightfulness in AI-assisted Proofs
Date: Thursday 24 August 2023
Time: 13:00
Location: Online
Supervisor: Luca Incurvati
Please note that this newsitem has been archived, and may contain outdated information or links.