About me

I am a PostDoctoral Researcher in arithmetic geometry at ETH Zürich. My doctoral advisor was Richard Pink. My research focuses on the stable reduction of hyperelliptic curves, and I am currently thinking about applications to the Parity conjecture. For the SageMath algorithm calculating our classification for genus 2 curves, see here.

AI for Mathematics

I am part of the organizing team of IMProofBench, which is a private proof-based research-level mathematics benchmark. Moreover, I have contributed questions to multiple research level datasets such as Humanity's Last Exam and am very curious about the impact AI will have on the mathematical community.

List of publications

Published

• Reduction of Hyperelliptic Curves in Residue Characteristic 2 (with R. Pink), Journal of Number Theory, 2025. DOI:10.1016/j.jnt.2025.10.004

In Review

• The Classification of the Stable Marked Reduction of Genus 2 Curves in Residue Characteristic 2, 2025. arXiv:2507.02426
• Computing the Stable Reduction of Hyperelliptic Curves in Residue Characteristic 2, 2025. arXiv:2506.19663

Preprints

• IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation (with J. Schmitt, G. Bérczi, J. Dekoninck, J. Feusi, et al.), 2025. arXiv:2509.26076
• Humanity's Last Exam (with L. Phan, A. Gatti, Z. Han, et al.*), 2025. arXiv:2501.14249
• Reduction of Hyperelliptic Curves in Characteristic ≠ 2 (with R. Pink), 2021. arXiv:2112.05550

*This paper presents a large-scale benchmark for assessing advanced AI capabilities, consisting of approximately 3000 expert-level questions across various academic disciplines, submitted by nearly 1000 subject experts. My contribution comprised 12 questions, mostly in mathematics.