TY  - RPRT
TI  - Automatic Textbook Formalization
AU  - Fabian Gloeckle
AU  - Ahmad Rammal
AU  - Charles Arnal
AU  - Remi Munos
AU  - Vivien Cabannes
AU  - Gabriel Synnaeve
AU  - Amaury Hayat
PY  - 2026
UR  - https://arxiv.org/abs/2604.03071
ID  - 2604.03071
ER  -