Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis

Open in new window