A Scalable Two Stage Approach to Computing Optimal Decision Sets

3 February 2021

Papers citing "A Scalable Two Stage Approach to Computing Optimal Decision Sets"

7 / 7 papers shown

Title
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 29 2 0 02 Mar 2023
Personalized Interpretable Classification Zengyou He Yifan Tang Yifan Tang Lianyu Hu Yan Liu Yan Liu 25 0 0 06 Feb 2023
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 47 39 0 24 Oct 2022
Eliminating The Impossible, Whatever Remains Must Be True Jinqiang Yu Alexey Ignatiev Peter J. Stuckey Nina Narodytska Sasha Rubin 19 23 0 20 Jun 2022
Rule Extraction from Binary Neural Networks with Convolutional Rules for Model Validation Sophie Burkhardt Jannis Brugger Nicolas Wagner Zahra Ahmadi Kristian Kersting Stefan Kramer NAI FAtt 25 8 0 15 Dec 2020
Learning Certifiably Optimal Rule Lists for Categorical Data E. Angelino Nicholas Larus-Stone Daniel Alabi Margo Seltzer Cynthia Rudin 60 195 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 240 1,837 0 03 Feb 2017