Search Results for author:
Found 1 papers, 0 papers with code
A Computability Perspective on (Verified) Machine Learning
There is a strong consensus that combining the versatility of machine learning with the assurances given by formal verification is highly desirable.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
