52 citations · 193 across the 37 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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.AG2025
Quasi-modular forms for the orthogonal group and Gromov-Witten theory of Enriques surfaces
Georg Oberdieck, Brandon Williams
We develop the theory of almost-holomorphic and quasimodular forms for orthogonal groups of a lattice of signature through orthogonal lowering and raising operators. The in…