MioFFAn

新框架MioFFAn通过大语言模型自动化辅助公式形式化

研究人员开发了MioFFAn，一个开源框架，旨在简化科学文献中数学公式的标注，以便将其转换为可执行的符号代码。该工具基于MioGatto架构构建，提供用于选择方程和指定符号代码的可定制功能，以适应各种科学领域。MioFFAn还通过大语言模型（LLM）整合了部分自动化，使研究人员能够使用标准的自然语言处理（NLP）指标来优化和评估自动化子任务，证明了“人在回路”方法的有效性。