A Unified view of piecewise linear neural network verification
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the reputation of learned NN models to behave as black boxes and the theoretical hardness of proving their properties, research...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Massachusetts Institute of Technology Press
2018
|