MioFFAn：LLM自動化機能を備えた数式形式化のアノテーションソフトウェア
MioFFAnは、科学文献中の数式を実行可能な記号コードに自動変換する「数式形式化」において、高品質なデータセットが不足している問題に対処するオープンソースのカスタマイズ可能なアノテーションフレームワークです。MioGattoアーキテクチャに基づき、関心のある数式の選択や記号コードの支援仕様、カスタム分類法をサポートし、大規模言語モデルによる部分自動化を実現します。予備評価では、人間参加型アプローチの有効性が示されました。
MioFFAnは、科学文献中の数式を実行可能な記号コードに自動変換する「数式形式化」タスク向けのオープンソースアノテーションフレームワークです。このフレームワークは、高品質なデータセットの不足という課題に対処するために開発されました。著者であるNicolas Sibuetらによる論文は、LREC 2026と併設された第3回自然科言語処理国際ワークショップ（NSLP 2026）で発表され、同ワークショップのProceedings第206-217ページに掲載されています。
MioFFAnはMioGattoアーキテクチャをベースに拡張され、数式形式化に特化した機能を備えています。具体的には、関心のある数式の選択や記号コードの補助仕様、ユーザーが定義可能なカスタム分類法や記号プロパティ、互換性のある記号演算子の設定が可能です。これにより、化学や物理学など多様な専門分野に対応できます。
さらに、MioFFAnは大規模言語モデル（LLM）を活用した部分自動化を実現しています。厳格な出力形式を持つモジュール式の自動サブタスクを定義することで、研究者は自動化能力を反復的に改善し、標準的なNLP指標を用いて異なる戦略を評価できます。予備評価では、この人間参加型アプローチの有効性が示されています。
本フレームワークのリリースは、科学計算と自然言語処理の融合領域において重要な貢献であり、科学文献中の数理知識の自動抽出と再利用を加速することが期待されます。オープンソースとして公開されているため、コミュニティによるさらなる発展も見込まれます。