Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs. - Jasper Dekoninck; Nikola Jovanovic 001; Tim Gehrunger; Kári Rögnvaldsson; Ivo Petrov; Chenhao Sun; Martin T. Vechev (CoRR, 2026)