{"type": "article", "title": "MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mioffan-an-annotation-software-for-formula-formalization-with-llm-automation", "original_source": "https://arxiv.org/abs/2607.22552", "published": "2026-07-28T04:00:00+00:00", "accessed": "2026-07-28", "id": "mioffan-an-annotation-software-for-formula-formalization-with-llm-automation"}