Search papers, labs, and topics across Lattice.
This paper introduces a domain slicing technique to improve the scalability of logic-based explanations for neural network predictions. The approach reduces the complexity of logical constraints by partitioning the input domain, enabling faster explanation generation while maintaining correctness guarantees. Experiments demonstrate a reduction in explanation time of up to 40% compared to existing methods.
Speed up logic-based explanations for NNs by 40% by slicing away irrelevant parts of the input domain.
Neural networks (NNs) are pervasive across various domains but often lack interpretability. To address the growing need for explanations, logic-based approaches have been proposed to explain predictions made by NNs, offering correctness guarantees. However, scalability remains a concern in these methods. This paper proposes an approach leveraging domain slicing to facilitate explanation generation for NNs. By reducing the complexity of logical constraints through slicing, we decrease explanation time by up to 40\% less time, as indicated through comparative experiments. Our findings highlight the efficacy of domain slicing in enhancing explanation efficiency for NNs.
