Comparing Neural Network Encodings for Logic-based Explainability

26 May 2025

Papers citing "Comparing Neural Network Encodings for Logic-based Explainability"

9 / 9 papers shown

Title
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 66 12 0 02 Dec 2022
Computing Abductive Explanations for Boosted Trees Gilles Audemard Jean-Marie Lagniez Pierre Marquis N. Szczepanski 66 13 0 16 Sep 2022
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 51 21 0 28 May 2021
On Symbolically Encoding the Behavior of Random Forests Arthur Choi Andy Shih Anchal Goyanka Adnan Darwiche AI4CE 43 32 0 03 Jul 2020
Abduction-Based Explanations for Machine Learning Models Alexey Ignatiev Nina Narodytska Sasha Rubin FAtt 57 224 0 26 Nov 2018
A Symbolic Approach to Explaining Bayesian Network Classifiers Andy Shih Arthur Choi Adnan Darwiche FAtt 64 243 0 09 May 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 301 1,860 0 03 Feb 2017
"Why Should I Trust You?": Explaining the Predictions of Any Classifier Marco Tulio Ribeiro Sameer Singh Carlos Guestrin FAtt FaML 1.1K 16,931 0 16 Feb 2016
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 243 19,017 0 20 Dec 2014