23 citations · 24 across the 9 of their papers we have counts for
4 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…
The Classification of the Stable Marked Reduction of Genus 2 Curves in Residue Characteristic 2
Tim Gehrunger
Consider a hyperelliptic curve of genus over a field of characteristic zero. After extending we can view it as a marked curve with its Weierstrass points. We classi…
Computing the Stable Reduction of Hyperelliptic Curves in Residue Characteristic 2
Tim Gehrunger
Consider a hyperelliptic curve of genus over a field of characteristic zero. After extending we can view it as a marked curve with its Weierstrass points. We pro…
Humanity's Last Exam
Long Phan, Alice Gatti, Ziwen Han +1168
Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achi…