A Formal Framework to Characterize Interpretability of Procedures
Examples are not enough, learn to criticize! Criticism for interpretability