1 code implementation • International Conference on Networked Systems 2023 • Max von Hippel, Cristina Nita-Rotaru, Kenneth L. McMillan, Lenore Zuck
We present a formal description of the algorithm, and study its properties.
no code implementations • 8 Apr 2020 • Kenneth L. McMillan
The notion of Craig interpolant, used as a form of explanation in automated reasoning, is adapted from logical inference to statistical inference and used to explain inferences made by neural networks.