Victor Jaeck

activity

20242026

collaborators

4 papers

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 $Λ$ -buildings, extending existing definitions and giving rise to a category of generalized aff…

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

Real Spectrum Compactifications of Universal Geometric Spaces over Character Varieties

Victor Jaeck

We construct universal geometric spaces over the real spectrum compactification $Ξ^{RSp}$ of the character variety $Ξ$ of a finitely generated group $Γ$ in $SL_{n}$ …

math.GT2024

Real spectrum and oriented Gromov equivariant compactifications of character varieties

Victor Jaeck

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