May, 2023

使用形式化方法证明 XAI 神话 -- 初步结果

TL;DR这篇研究论文探讨了可解释人工智能的重要性以及存在的困境和误解,通过形式化方法来反驳这些误解并提出实际有效的替代方法。