JAIR

Towards Verified and Targeted Explanations through Formal Methods

通过形式方法实现验证和定向的解释

Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson, Meiyi Ma

机构 * Vanderbilt University（范德比大学） 纠错

AI总结 本文提出ViTaX框架，通过形式方法生成具有数学保证的定向半事实解释，解决传统XAI方法在可解释性和可信度上的不足。

Comments Paper has been accepted at JAIR