2 papers
cs.CL2025
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck +57
As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on research-level tasks at the frontier of…
math.AG2024
The Enumerative Geometry and Arithmetic of Banana Nano-Manifolds
Jim Bryan, Stephen Pietromonaco
A banana manifold is a Calabi-Yau threefold fibered by Abelian surfaces whose singular fibers contain banana configurations: three rational curves meeting each other in two points.…