MioFFAn: An Annotation Software for Formula Formalization with LLM Automation Capabilities⭐9

MioFFAn is an open-source annotation tool for formula formalization, enabling dataset creation with customized taxonomies and partial LLM automation.