TY - RPRT TI - Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis AU - Daniel Neider AU - Bishwamittra Ghosh PY - 2020 UR - https://arxiv.org/abs/2009.08770 ID - 2009.08770 ER -