A Computability Perspective on (Verified) Machine Learning

Tonicha Crook, Jay Morgan, Arno Pauly +1

There is a strong consensus that combining the versatility of machine learning with the assurances given by formal verification is highly desirable. It is much less clear what veri…