@misc{indiciae70902ac1de21,
  title = {MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities},
  author = {Nicolas Sibuet and Horacio Saggion and Riccardo Rossi},
  year = {2026},
  url = {https://arxiv.org/abs/2607.22552},
  note = {Source identifier: 2607.22552}
}