6 citations · 6 across the 3 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.MG2022
A combinatorial higher-rank hyperbolicity condition
Martina Jørgensen, Urs Lang
We investigate a coarse version of a -point inequality characterizing metric spaces of combinatorial dimension at most due to Dress. This condition, experimentally call…
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…