Maths Workshop Attracts Global Audience at University of Exeter
An international online workshop on "AI and Theorem Provers in Mathematics" brought together leading researchers, educators, and practitioners to explore...
Diego Marmsoler
An international online workshop on "AI and Theorem Provers in Mathematics" brought together leading researchers, educators, and practitioners to explore...