Part I - Introduction

an short introduction to neural network verification.

Click here: Slides for Part I - Introduction (PDF)

tl;dr: In this part, we start with several concrete examples to demonstrate the importance of neural network verification. Then we present the formulations and fundamental mathematical problems solved by neural network verifiers. We also briefly introduce the detailed formulation of neural network verification, where existing verifiers can be divided into two categories: complete and incomplete verifiers. An overview of the evolving history of the neural network verifiers, along with significant performance improvements, will be presented, encouraging more efforts in this field.