12 citations · 12 across the 2 of their papers we have counts for
3 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.AG2021★ 12 cited
Rank DT theory from rank
Soheyla Feyzbakhsh, Richard P. Thomas
Fix a Calabi-Yau 3-fold satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the quintic 3-fold. We express Joyce's generalised DT invariants counting Gies…
math.AG2019
An application of wall-crossing to Noether-Lefschetz loci
Soheyla Feyzbakhsh, Richard P. Thomas
Consider a smooth projective 3-fold satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda (such as , the quintic threefold or an abelian threefold). Let…