Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks

25 October 2022

Papers citing "Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks"

4 / 4 papers shown

Title
ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents Yotam Amitai Guy Avni Ofra Amir 35 3 0 24 Jan 2023
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 92 37 0 26 May 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017
Superpixels: An Evaluation of the State-of-the-Art David Stutz Alexander Hermans Bastian Leibe SupR 69 468 0 06 Dec 2016