本論文では、形式的な説明可能AI（XAI）の実践的実装の検証に焦点を当てた新しい手法を提案し、公開されている形式的説明者PyXAIの評価結果を報告しています。従来の非形式的手法に比べて、形式的説明者は理論的保証が独自であるものの、その正確性に関する実証的な検証が不足しています。研究の結果、PyXAIが分析したほとんどのデータセットにおいて不正確な説明を生成することが明らかになり、提案した検証手法の重要性が確認されました。これにより、形式的説明者の正当性を確保するための新たなアプローチの必要性が示されています。