VeriX: Towards Verified Explainability of Deep Neural Networks

Published in Advances in neural information processing systems (NeurIPS'23), 2023