Network error. Please check your internet connection.

Network error. Please check your internet connection.

Network error. Please check your internet connection.

Network error. Please check your internet connection.

Towards Formal XAI: Formally Approximate Minimal Explanations of Neural
Networks

v1v2 (latest)

Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks

25 October 2022

ArXiv (abs)PDF HTML

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

17 / 17 papers shown

Title
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification Michele Alberti F. Bobot Julien Girard-Satabin Alban Grastien Aymeric Varasse Zakaria Chihani 84 0 0 10 Jun 2025
A Fast Kernel-based Conditional Independence test with Application to Causal Discovery Oliver Schacht Biwei Huang 255 0 0 16 May 2025
Statistical Runtime Verification for LLMs via Robustness Estimation Natan Levy Adiel Ashrov Guy Katz AAML 164 0 0 24 Apr 2025
Probabilistic Stability Guarantees for Feature Attributions Helen Jin Anton Xue Weiqiu You Surbhi Goel Eric Wong 240 3 0 18 Apr 2025
Self-Explaining Neural Networks for Business Process Monitoring Shahaf Bassan Shlomit Gur Sergey Zeltyn Konstantinos Mavrogiorgos Ron Eliav Dimosthenis Kyriazis 140 1 0 23 Mar 2025
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 206 0 0 15 Mar 2025
Auditing Local Explanations is Hard Robi Bhattacharjee U. V. Luxburg LRM MLAU FAtt 119 4 0 18 Jul 2024
Local vs. Global Interpretability: A Computational Complexity Perspective Shahaf Bassan Guy Amir Guy Katz 152 13 0 05 Jun 2024
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks Haoze Wu Omri Isac Aleksandar Zeljić Teruhiro Tagomori M. Daggitt ... Min Wu Min Zhang Ekaterina Komendantskaya Guy Katz Clark W. Barrett 166 51 0 25 Jan 2024
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers Yuang Geng Jake Brandon Baldauf Souradeep Dutta Chao Huang Ivan Ruchkin 144 5 0 08 Nov 2023
Stability Guarantees for Feature Attributions with Multiplicative Smoothing Anton Xue Rajeev Alur Eric Wong 174 6 0 12 Jul 2023
Delivering Inflated Explanations Yacine Izza Alexey Ignatiev Peter Stuckey Sasha Rubin XAI 84 6 0 27 Jun 2023
From Robustness to Explainability and Back Again Xuanxiang Huang Sasha Rubin 150 10 0 05 Jun 2023
Fully Automatic Neural Network Reduction for Formal Verification Tobias Ladner Matthias Althoff AAML 144 4 0 03 May 2023
ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents Yotam Amitai Guy Avni Ofra Amir 126 3 0 24 Jan 2023
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 145 7 0 23 Oct 2022
"Why Should I Trust You?": Explaining the Predictions of Any Classifier Marco Tulio Ribeiro Sameer Singh Carlos Guestrin FAtt FaML 1.5K 17,919 0 16 Feb 2016

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.