TY - RPRT TI - Bayesian Interpolants as Explanations for Neural Inferences AU - Kenneth L. McMillan PY - 2020 UR - https://arxiv.org/abs/2004.04198 ID - 2004.04198 ER -