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

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

影响 该框架通过实现更有效地将数学表达式转换为可执行代码，有可能加速研究。

排序理由 该条目描述了一个在研究论文中提出的用于公式形式化的新开源框架。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.CL 阅读 →

• alphaXiv
• arXiv
• CatalyzeX
• Connected Papers
• CORE Recommender
• DagsHub
• Gotit.pub
• Hugging Face
• Litmaps
• MioFFAn
• MioGatto
• ScienceCast
• scite Smart Citations

• 论文
• 产品
• 基础设施

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →