本文介绍了一种名为PICE的新算法，该算法利用分段线性神经网络分解为多面体复形，以找到对于任何给定查询，在欧几里得范数中可证明是最小的并且恰好位于决策边界上的反事实解释。此外，研究人员还开发了该算法的变体，目标是实现流行的反事实需求，例如稀疏性、鲁棒性、速度、合理性和可操作性。