DeepMind Introduces New Neural Network Verification Algorithms & A Library

Machine learning is mostly about building good function approximations from data. And, when it comes to good approximations, deep learning algorithms have a great following as they are founded on principles of universal approximation. The adoption of these deep neural networks has been high in the past couple of years. But, as these systems scale, new challenges surface. It can be misclassification of an unexamined vulnerability to adversarial attack.