Apr, 2024

鲁棒的反事实解释的间隔抽象

TL;DR为了解决因模型变动导致已有方法无效的问题,我们提出了一种用于参数化机器学习模型的新颖区间抽象技术,能够获得可靠的对抗模型变动的证明,进而提供具备可证明健壮性的反事实解释。通过基于混合整数线性规划的验证程序,我们进一步提出了两种算法,生成具备对抗模型变动健壮性的反事实解释,并通过对比实证研究表明,我们的算法在寻找具备健壮性的反事实解释方面具有很好的效果。