6 citations · 6 across the 1 of their papers we have counts for
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.MG2020★ 6 cited
Geodesic spaces of low Nagata dimension
Martina Jørgensen, Urs Lang
We show that every geodesic metric space admitting an injective continuous map into the plane as well as every planar graph has Nagata dimension at most two, hence asymptotic dimen…