OpenReview.net
OpenReview.net
Login
OpenReview.net
Login

Raphael Appenzeller

Joined
September 2025

Names

Raphael Appenzeller (Preferred)

Emails

****@mathi.uni-heidelberg.de (Confirmed)

Personal Links

Homepage

Career & Education History

Postdoc
Mathematics, Ruprecht-Karls-Universität Heidelberg (uni-heidelberg.de)
2024 – 2025
PhD student
Mathematics, ETHZ - ETH Zurich (ethz.ch)
2019 – 2024

Advisors, Relations & Conflicts

PhD Advisor
Marc Burger
2019 – 2024

Expertise

No areas of expertise listed

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

Co-Authors

  • Adam Kurpisz
  • Aitor Iribar Lopez
  • Baran Hashemi
  • Charles Vial
  • Chiara Meroni
  • Daniel Platt
  • David Holmes
  • Dylan Possamaï
  • Filippo Gaia
  • Gabriel Ribeiro
  • Georg Oberdieck
  • Gergely Berczi
  • Ingmar Metzler
  • Jasper Dekoninck
  • Jeremy Feusi
  • Jim Bryan
  • Johannes Schmitt
  • Josef Teichmann
  • Martina Jørgensen
  • Michel van Garrel
  • Niklas Canova
  • Raúl Sánchez Galán
  • Richard P Thomas
  • Robert Nowak
  • Samuel Muñoz-Echániz
View all 31 co-authors
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Donate
  • FAQ
  • Terms of Use / Privacy Policy
  • News
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • News
  • FAQ
  • Contact
  • Donate
  • Terms of Use
  • Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2026 OpenReview