no code implementations • 16 Aug 2021 • Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
For a given black-box, our approach yields a set of Pareto-optimal interpretations with respect to the correctness and explainability measures.