A Formal Framework to Characterize Interpretability of Procedures
Towards A Rigorous Science of Interpretable Machine Learning