Machine Learning, AI, Deep Learning, Ai Safety.
provably consistent with a specification of interest for all possible inputs. While the field of formal verification has studied such algorithms for several decades, these approaches do not easily scale to modern deep learning systems despite impressive progress. Testing consistency with