TY  - RPRT
TI  - Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
AU  - Jasper Dekoninck
AU  - Nikola Jovanović
AU  - Tim Gehrunger
AU  - Kári Rögnvaldsson
AU  - Ivo Petrov
AU  - Chenhao Sun
AU  - Martin Vechev
PY  - 2026
UR  - https://arxiv.org/abs/2605.00674
ID  - 2605.00674
ER  -