TY  - RPRT
TI  - MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities
AU  - Nicolas Sibuet
AU  - Horacio Saggion
AU  - Riccardo Rossi
PY  - 2026
UR  - https://arxiv.org/abs/2607.22552
ID  - 2607.22552
ER  -