OpenReview.net
  • Login

Raúl Sánchez Galán

Pronouns: he/him

Researcher, 4i Intelligent Insights

  • Joined September 2025

Names

Raúl Sánchez Galán (Preferred)
,
R. Sánchez Galán
,
Raul Sanchez Galan
  • Suggest Name

Emails

****@4i.ai (Confirmed)
  • Suggest Email

Personal Links

ORCID
  • Suggest URL

Career & Education History

Researcher
4i Intelligent Insights (4i.ai)
2025 – Present
 
  • Suggest Position

Advisors, Relations & Conflicts

Coauthor
Robert Wieser
2024 – Present
 
Coauthor
Daniel Platt
2024 – Present
 
  • Suggest Relation

Expertise

Differential Geometry, Mathematical Physics, Algebra, LLMs, Deep Learning
Present
 
  • Suggest Expertise

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
  • Raphael Appenzeller
  • 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. © 2025 OpenReview