Search papers, labs, and topics across Lattice.
This paper addresses the computational cost of logic-based explainable AI (XAI) methods for neural networks by integrating bound propagation with constraint simplification techniques. By tightening neuron bounds and eliminating redundant binary variables during the explanation process, the authors reduce the complexity of the underlying mixed-integer programming (MIP) problem. Experimental results demonstrate a significant reduction in explanation time, up to 89.26%, especially for larger networks.
Logic-based XAI runtimes plummet by up to 89% thanks to a clever combo of bound propagation and constraint simplification that prunes away unnecessary complexity.
Logic-based methods for explaining neural network decisions offer formal guarantees of correctness and non-redundancy, but they often suffer from high computational costs, especially for large networks. In this work, we improve the efficiency of such methods by combining bound propagation with constraint simplification. These simplifications, derived from the propagation, tighten neuron bounds and eliminate unnecessary binary variables, making the explanation process more efficient. Our experiments suggest that combining these techniques reduces explanation time by up to 89.26\%, particularly for larger neural networks.
