MioFFAn：具有 LLM 自动化功能的公式形式化注释软件

将科学文献中的数学表达式自动转换为可执行符号代码（我们称之为公式形式化的过程）受到严重缺乏专门用于技术科学领域的高质量 真值 数据集的阻碍。在本文中，我们提出了 MioFFAn，这是一个开源、以文档为中心且可定制的框架，旨在促进此任务的快速注释。在 MioGatto 架构的基础上，我们扩展了现有功能，以克服结构限制，并通过引入公式形式化的特定功能（例如选择感兴趣的方程和辅助符号代码规范）来调整其范围。通过允许用户为识别的符号以及兼容的符号运算符配置自定义分类法和属性，我们确保该框架适用于不同的专业科学领域。此外，MioFFAn 旨在通过 大语言模型 实现部分自动化。通过定义具有严格输出格式的模块化自动化子任务集，我们使研究人员能够迭代地完善自动化功能并使用标准 NLP 指标评估竞争策略。我们指定当前的自动化方法并进行初步评估，以证明这种人机交互方法的有效性。