Logic-Based Explainability in Machine Learning

24 October 2022

Papers citing "Logic-Based Explainability in Machine Learning"

13 / 13 papers shown

Title
On the Complexity of Global Necessary Reasons to Explain Classification M. Calautti Enrico Malizia Cristian Molinaro FAtt 58 0 0 12 Jan 2025
Explainable AI (XAI) in Image Segmentation in Medicine, Industry, and Beyond: A Survey Rokas Gipiškis Chun-Wei Tsai Olga Kurasova 49 5 0 02 May 2024
On Computing Relevant Features for Explaining NBCs Yacine Izza João Marques-Silva 20 5 0 11 Jul 2022
On Tackling Explanation Redundancy in Decision Trees Yacine Izza Alexey Ignatiev João Marques-Silva FAtt 48 56 0 20 May 2022
Provably Precise, Succinct and Efficient Explanations for Decision Trees Yacine Izza Alexey Ignatiev Nina Narodytska Martin C. Cooper João Marques-Silva FAtt 26 7 0 19 May 2022
The Disagreement Problem in Explainable Machine Learning: A Practitioner's Perspective Satyapriya Krishna Tessa Han Alex Gu Steven Wu S. Jabbari Himabindu Lakkaraju 172 183 0 03 Feb 2022
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization Emilio Gamba B. Bogaerts Tias Guns LRM 26 6 0 25 May 2021
An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets Alexander Felfernig Monika Schubert Christoph Zehentner 30 190 0 17 Feb 2021
Model Interpretability through the Lens of Computational Complexity Pablo Barceló Mikaël Monet Jorge A. Pérez Bernardo Subercaseaux 114 93 0 23 Oct 2020
Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Inscrutable Representations S. Sreedharan Utkarsh Soni Mudit Verma Siddharth Srivastava S. Kambhampati 63 29 0 04 Feb 2020
Methods for Interpreting and Understanding Deep Neural Networks G. Montavon Wojciech Samek K. Müller FaML 234 2,231 0 24 Jun 2017
Learning Certifiably Optimal Rule Lists for Categorical Data E. Angelino Nicholas Larus-Stone Daniel Alabi Margo Seltzer Cynthia Rudin 46 196 0 06 Apr 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017