Kenneth L. McMillan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Sharon Shoham
28 publications
Mooly Sagiv
19 publications
Oded Padon
13 publications
Jochen Hoenicke
6 publications
Andreas Podelski
3 publications

research

∙ 06/02/2021

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Various verification techniques for temporal properties transform tempor...

0 Oded Padon, et al. ∙

research

∙ 04/08/2020

Bayesian Interpolants as Explanations for Neural Inferences

The notion of Craig interpolant, used as a form of explanation in automa...

0 Kenneth L. McMillan, et al. ∙