Sound Explanation for Trustworthy Machine Learning. - Kai Jia; Pasapol Saowakon; Limor Appelbaum; Martin C. Rinard (CoRR, 2023)