Ingmar Metzler

Postdoc, D-MATH, ETHZ - ETH Zurich

Joined

September 2025

Names

Ingmar Metzler (Preferred)

Emails

****@math.ethz.ch (Confirmed)

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Postdoc

D-MATH, ETHZ - ETH Zurich (ethz.ch)

2024 – 2026

PhD student

Fachbereich Mathematik, Technische Universität Darmstadt (tu-darmstadt.de)

2019 – 2024

Advisors, Relations & Conflicts

No relations added

Expertise

Artificial Intelligence

2023 – Present

Financial Mathematics

2022 – Present

Number theory

2016 – Present

Publications

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Johannes Schmitt, Gergely Berczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni et al. (12 additional authors not shown)
- MATH-AI 2025 Poster
- Readers: Everyone
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Johannes Schmitt, Gergely Berczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Samuel Muñoz-Echániz et al. (10 additional authors not shown)
- Submitted to ICLR 2026
- Readers: Everyone

Co-Authors

View all 31 co-authors