Synthesizing Pareto-Optimal Interpretations for Black-Box Models.
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
Browse the full FMCAD paper archive.
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
Browse the full FMCAD paper archive.