Computing Optimal Decision Sets with SAT

29 July 2020

Papers citing "Computing Optimal Decision Sets with SAT"

5 / 5 papers shown

Title
Optimizing Binary Decision Diagrams with MaxSAT for classification Hao Hu Marie-José Huguet Mohamed Siala 8 10 0 21 Mar 2022
Model Explanations via the Axiomatic Causal Lens Gagan Biradar Vignesh Viswanathan Yair Zick XAI CML 11 1 0 08 Sep 2021
Synthesizing Pareto-Optimal Interpretations for Black-Box Models Hazem Torfah Shetal Shah Supratik Chakraborty S. Akshay S. Seshia 11 6 0 16 Aug 2021
Interpretable Machine Learning: Fundamental Principles and 10 Grand Challenges Cynthia Rudin Chaofan Chen Zhi Chen Haiyang Huang Lesia Semenova Chudi Zhong FaML AI4CE LRM 31 646 0 20 Mar 2021
Methods for Interpreting and Understanding Deep Neural Networks G. Montavon Wojciech Samek K. Müller FaML 234 2,233 0 24 Jun 2017