Provably Robust Model-Centric Explanations for Critical Decision-Making

Cecilia G. Morales, Nicholas Gisolfi, Robert Edman +2

We recommend using a model-centric, Boolean Satisfiability (SAT) formalism to obtain useful explanations of trained model behavior, different and complementary to what can be glean…