TY - RPRT TI - Synthesizing Pareto-Optimal Interpretations for Black-Box Models AU - Hazem Torfah AU - Shetal Shah AU - Supratik Chakraborty AU - S. Akshay AU - Sanjit A. Seshia PY - 2021 UR - https://arxiv.org/abs/2108.07307 ID - 2108.07307 ER -