Image de couverture de livre

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	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
Publié:	2025
Sujets:	Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Noether-Lefschetz cycles on the moduli space of abelian varieties
par: Lopez, Aitor Iribar
Publié: (2024)

The Euler characteristic of $\mathcal A_g$ via Hodge integrals
par: Lopez, Aitor Iribar
Publié: (2024)

Morphisms of generalized affine buildings
par: Appenzeller, Raphael, et autres
Publié: (2026)

Torelli loci, product cycles, and the homomorphism conjecture for $\mathcal{A}_g$
par: Canning, Samir, et autres
Publié: (2026)

The integral Chow ring of $\mathcal{R}_2$
par: Cela, Alessio, et autres
Publié: (2024)

Genus 0 logarithmic and tropical fixed‐domain counts for Hirzebruch surfaces
par: Alessio Cela, et autres
Publié: (2024)

An incomplete real tree with complete segments
par: Appenzeller, Raphael, et autres
Publié: (2022)

Computing the Stable Reduction of Hyperelliptic Curves in Residue Characteristic 2
par: Gehrunger, Tim
Publié: (2025)

The Classification of the Stable Marked Reduction of Genus 2 Curves in Residue Characteristic 2
par: Gehrunger, Tim
Publié: (2025)

Birational Classification of Orbifold Compactified Jacobians
par: Feusi, Jeremy, et autres
Publié: (2026)

On the descendent Gromov-Witten theory of a K3 surface
par: Oberdieck, Georg
Publié: (2023)

Towards refined curve counting on the Enriques surface I: K-theoretic refinements
par: Oberdieck, Georg
Publié: (2024)

Multiple cover formulas for K3 geometries, wall-crossing, and Quot schemes
par: Oberdieck, Georg
Publié: (2021)

Holomorphic anomaly equations for the Hilbert scheme of points of a K3 surface
par: Oberdieck, Georg
Publié: (2022)

Curve counting on the Enriques surface and the Klemm-Mariño formula
par: Oberdieck, Georg
Publié: (2023)

Towards refined curve counting on the Enriques surface II: Motivic refinements
par: Oberdieck, Georg
Publié: (2024)

Flow-based Extremal Mathematical Structure Discovery
par: Bérczi, Gergely, et autres
Publié: (2026)

Gromov-Witten theory of $\mathsf{Hilb}^n(\mathbb{C}^2)$ and Noether-Lefschetz theory of $\mathcal{A}_g$
par: Lopez, Aitor Iribar, et autres
Publié: (2025)

Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
par: Dekoninck, Jasper, et autres
Publié: (2026)

Real spectrum and oriented Gromov equivariant compactifications of character varieties
par: Jaeck, Victor
Publié: (2024)

Real Spectrum Compactifications of Universal Geometric Spaces over Character Varieties
par: Jaeck, Victor
Publié: (2025)

Reduction of Hyperelliptic Curves in Residue Characteristic 2
par: Gehrunger, Tim, et autres
Publié: (2024)

Los orígenes de nuestro planeta
par: Appenzeller
Publié: (2006)

The multiple cover formula for $K3$ and abelian surfaces
par: Oberdieck, Georg, et autres
Publié: (2026)

Quasi-modular forms for the orthogonal group and Gromov-Witten theory of Enriques surfaces
par: Oberdieck, Georg, et autres
Publié: (2025)

Return of the Phoenix: Love and Revolution in Asturias's El señor presidente and Argueta's Un día en la vida de Manlio Argueta
par: Lois Marie Jaeck
Publié: (2007)

El mito del Cadejo en obras escogidas de Miguel Ángel Asturias y Manlio Argueta
par: Lois Marie Jaeck
Publié: (2005)

The Body as Revolutionary Text: The Dance as Protest Literature in Latin America
par: Lois Jaeck Marie
Publié: (2003)

Houses of Horror or Magical Kingdoms? Past Times Revisited with Miguel Ángel Asturias, Carlos Fuentes and Julio Cortázar
par: Lois Marie Jaeck
Publié: (1999)

"Viva México/Viva la Revolución". One hundred years of Popular/Protest Songs: The Heartbeat of a Collective Identity
par: Lois Marie Jaeck
Publié: (2001)

On the Distribution of Unweighted Minimum Knapsack Instances with Large SOS Rank
par: Kurpisz, Adam, et autres
Publié: (2026)

Lambda-operations for hermitian forms over algebras with involution
par: Garrel, Nicolas
Publié: (2023)

Witt invariants of quaternionic forms
par: Garrel, Nicolas
Publié: (2025)

Even Stiefel-Whitney invariants for anti-hermitian quaternionic forms
par: Garrel, Nicolas
Publié: (2023)

Orientaciones metodológicas para contribuir a mejorar el aprendizaje de la Matemática
par: Norma Gómez Iribar
Publié: (2011)

Algunas consideraciones metodológicas sobre el desempeño de los directivos, para elevar la calidad del aprendizaje de la matemática en el preuniversitario
par: Norma Gómez Iribar
Publié: (2010)

El tratamiento de errores en el aprendizaje de procedimientos algebraicos
par: Norma Gómez Iribar
Publié: (2009)

La equidad y la formación de valores en la carrera de Ciencias Exactas
par: Norma Gómez Iribar
Publié: (2006)

Impacto de la Maestría en Ciencias de la Educación. Una experiencia del grupo provincial de Calidad de la Educación
par: Norma Gómez-Iribar
Publié: (2012)

A 2-approximation algorithm for the softwired parsimony problem on binary, tree-child phylogenetic networks
par: Frohn, Martin, et autres
Publié: (2024)