TY  - RPRT
TI  - DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
AU  - Meiru Zhang
AU  - Philipp Borchert
AU  - Milan Gritta
AU  - Gerasimos Lampouras
PY  - 2026
UR  - https://arxiv.org/abs/2510.10815
ID  - 2510.10815
ER  -