TY  - RPRT
TI  - Compression is all you need: Modeling Mathematics
AU  - Vitaly Aksenov
AU  - Eve Bodnia
AU  - Michael H. Freedman
AU  - Michael Mulligan
PY  - 2026
UR  - https://arxiv.org/abs/2603.20396
ID  - 2603.20396
ER  -