Machine Learning, AI, Deep Learning, Ai Safety.
and formal verification. Machine learning systems are not robust by default. Even systems that outperform humans in a particular domain can fail at solving simple problems if subtle differences are introduced. For example, consider the problem of image perturbations: a neural network that can