Victor Jaeck

collaborators

4 papers

cs.CL2026

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.GR2026

Morphisms of generalized affine buildings

Raphael Appenzeller, Xenia Flamm, Victor Jaeck

We define a notion of morphism for generalized affine buildings, also known as affine $I^$ -buildings, extending existing definitions and giving rise to a category of generalized af…

math.GT2025

Real spectrum and oriented Gromov equivariant compactifications of character varieties

Victor Jaeck

The character variety $I^$ of a finitely generated group $I^$ in $PSL_{2} (R)$ has many compactifications. We construct a continuous surjection from the real spectru…

math.GR2025

Real Spectrum Compactifications of Universal Geometric Spaces over Character Varieties

Victor Jaeck

We construct universal geometric spaces over the real spectrum compactification $I^^{RSp}$ of the character variety $I^$ of a finitely generated group $I^$ in $\mathrm{SL}…