78 citations · 455 across the 33 of their papers we have counts for
3 papers · 1 filter
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…
Proof of a magnificent conjecture
M. Kool, J. V. Rennemo
Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to -tuples of solid partitions and conjectured a formula for their we…
A Hopf index for isotropic sections of orthogonal bundles
Martijn Kool, Jeongseok Oh, Jørgen Vold Rennemo +1
The Hopf index equates the multiplicity of a zero of a section of a vector bundle with a winding number. We give eight analogues for isotropic sections of bundles with quadratic fo…