Talks

2026

• Agentic AI for Mathematical Research
  AI4Research, ICML 2026, July 2026. Download slides (PDF)

• Agentic AI for the Working Mathematician
  Seminar für Statistik, ETH Zürich, June 2026.

• Benchmarking Agentic AI on Research-Level Mathematics
  GRACE Spring School, University of Luxembourg, June 2026.

• IMProofBench and the Use of Generative AI
  AI in Math, MPI Leipzig, April 2026.

• IMProofBench: Benchmarking AI on Research-Level Mathematics Problems
  Milestones of Autonomous Mathematics, ICARM, April 2026.

2025

• Stable Reduction of Hyperelliptic Curves in Residue Characteristic 2
  Seminar für Arithmetische und Algebraische Geometrie, LMU Munich, May 2025.

• Arithmetic of Hyperelliptic Curves in Residue Characteristic 2
  J. Algebra and Representation Theory Seminar, University of Oxford, May 2025.

2024

• Classification of Genus 2 Curves in Residue Characteristic 2
  Number Theory Seminar, ETH Zürich, November 2024.

• Reduction Types of Genus 2 Curves in Residue Characteristic 2
  Oberseminar Algebra and Number Theory, University of Ulm, June 2024.

2023

• The Stable (Marked) Reduction of Hyperelliptic Curves
  Workshop Alpbach 2023, June 2023.

• The Stable (Marked) Reduction of Hyperelliptic Curves
  Seminar Number Theory and Algebraic Geometry, KU Leuven, February 2023.