Cover Image

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Schmitt, Johannes, Bérczi, Gergely, Dekoninck, Jasper, Feusi, Jeremy, Gehrunger, Tim, Appenzeller, Raphael, Bryan, Jim, Canova, Niklas, de Wolff, Timo, Gaia, Filippo, van Garrel, Michel, Hashemi, Baran, Holmes, David, Lopez, Aitor Iribar, Jaeck, Victor, Jørgensen, Martina, Kelk, Steven, Kuhlmann, Stefan, Kurpisz, Adam, Meroni, Chiara, Metzler, Ingmar, Möller, Martin, Muñoz-Echániz, Samuel, Nowak, Robert, Oberdieck, Georg, Platt, Daniel, Possamaï, Dylan, Ribeiro, Gabriel, Galán, Raúl Sánchez, Sun, Zheming, Teichmann, Josef, Thomas, Richard P., Vial, Charles
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2509.26076