Faster Verified Explanations for Neural Networks
arXiv:2512.00164v2 Announce Type: replace
Abstract: Verified explanations are a principled way to explain the decisions taken by neural networks, which are otherwise black-box in nature. However, these techniques face significant scalability challenge…