Buchumschlag

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	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
Veröffentlicht:	2025
Schlagworte:	Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Noether-Lefschetz cycles on the moduli space of abelian varieties
von: Lopez, Aitor Iribar
Veröffentlicht: (2024)

The Euler characteristic of $\mathcal A_g$ via Hodge integrals
von: Lopez, Aitor Iribar
Veröffentlicht: (2024)

Morphisms of generalized affine buildings
von: Appenzeller, Raphael, et al.
Veröffentlicht: (2026)

Torelli loci, product cycles, and the homomorphism conjecture for $\mathcal{A}_g$
von: Canning, Samir, et al.
Veröffentlicht: (2026)

The integral Chow ring of $\mathcal{R}_2$
von: Cela, Alessio, et al.
Veröffentlicht: (2024)

Genus 0 logarithmic and tropical fixed‐domain counts for Hirzebruch surfaces
von: Alessio Cela, et al.
Veröffentlicht: (2024)

An incomplete real tree with complete segments
von: Appenzeller, Raphael, et al.
Veröffentlicht: (2022)

Computing the Stable Reduction of Hyperelliptic Curves in Residue Characteristic 2
von: Gehrunger, Tim
Veröffentlicht: (2025)

The Classification of the Stable Marked Reduction of Genus 2 Curves in Residue Characteristic 2
von: Gehrunger, Tim
Veröffentlicht: (2025)

Birational Classification of Orbifold Compactified Jacobians
von: Feusi, Jeremy, et al.
Veröffentlicht: (2026)

On the descendent Gromov-Witten theory of a K3 surface
von: Oberdieck, Georg
Veröffentlicht: (2023)

Towards refined curve counting on the Enriques surface I: K-theoretic refinements
von: Oberdieck, Georg
Veröffentlicht: (2024)

Multiple cover formulas for K3 geometries, wall-crossing, and Quot schemes
von: Oberdieck, Georg
Veröffentlicht: (2021)

Holomorphic anomaly equations for the Hilbert scheme of points of a K3 surface
von: Oberdieck, Georg
Veröffentlicht: (2022)

Curve counting on the Enriques surface and the Klemm-Mariño formula
von: Oberdieck, Georg
Veröffentlicht: (2023)

Towards refined curve counting on the Enriques surface II: Motivic refinements
von: Oberdieck, Georg
Veröffentlicht: (2024)

Flow-based Extremal Mathematical Structure Discovery
von: Bérczi, Gergely, et al.
Veröffentlicht: (2026)

Gromov-Witten theory of $\mathsf{Hilb}^n(\mathbb{C}^2)$ and Noether-Lefschetz theory of $\mathcal{A}_g$
von: Lopez, Aitor Iribar, et al.
Veröffentlicht: (2025)

Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
von: Dekoninck, Jasper, et al.
Veröffentlicht: (2026)

Real spectrum and oriented Gromov equivariant compactifications of character varieties
von: Jaeck, Victor
Veröffentlicht: (2024)

Real Spectrum Compactifications of Universal Geometric Spaces over Character Varieties
von: Jaeck, Victor
Veröffentlicht: (2025)

Reduction of Hyperelliptic Curves in Residue Characteristic 2
von: Gehrunger, Tim, et al.
Veröffentlicht: (2024)

Los orígenes de nuestro planeta
von: Appenzeller
Veröffentlicht: (2006)

The multiple cover formula for $K3$ and abelian surfaces
von: Oberdieck, Georg, et al.
Veröffentlicht: (2026)

Quasi-modular forms for the orthogonal group and Gromov-Witten theory of Enriques surfaces
von: Oberdieck, Georg, et al.
Veröffentlicht: (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
von: Lois Marie Jaeck
Veröffentlicht: (2007)

El mito del Cadejo en obras escogidas de Miguel Ángel Asturias y Manlio Argueta
von: Lois Marie Jaeck
Veröffentlicht: (2005)

The Body as Revolutionary Text: The Dance as Protest Literature in Latin America
von: Lois Jaeck Marie
Veröffentlicht: (2003)

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

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

On the Distribution of Unweighted Minimum Knapsack Instances with Large SOS Rank
von: Kurpisz, Adam, et al.
Veröffentlicht: (2026)

Lambda-operations for hermitian forms over algebras with involution
von: Garrel, Nicolas
Veröffentlicht: (2023)

Witt invariants of quaternionic forms
von: Garrel, Nicolas
Veröffentlicht: (2025)

Even Stiefel-Whitney invariants for anti-hermitian quaternionic forms
von: Garrel, Nicolas
Veröffentlicht: (2023)

Orientaciones metodológicas para contribuir a mejorar el aprendizaje de la Matemática
von: Norma Gómez Iribar
Veröffentlicht: (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
von: Norma Gómez Iribar
Veröffentlicht: (2010)

El tratamiento de errores en el aprendizaje de procedimientos algebraicos
von: Norma Gómez Iribar
Veröffentlicht: (2009)

La equidad y la formación de valores en la carrera de Ciencias Exactas
von: Norma Gómez Iribar
Veröffentlicht: (2006)

Impacto de la Maestría en Ciencias de la Educación. Una experiencia del grupo provincial de Calidad de la Educación
von: Norma Gómez-Iribar
Veröffentlicht: (2012)

A 2-approximation algorithm for the softwired parsimony problem on binary, tree-child phylogenetic networks
von: Frohn, Martin, et al.
Veröffentlicht: (2024)