This talk will focus on three aspects of neural network verification:
– What? A definition of neural network verification, which involves formally proving or disproving that a given neural network satisfies a given specification.
– Why? Applications of neural network verification to motivate the need to make progress in this topic, including certification of robustness of neural networks, and applications in science.
– How? An overview of the state of the art algorithms for neural network verification.