Refactoring Neural Networks for Verification

David Shriver, Dong Xu, Sebastian Elbaum +1

Deep neural networks (DNN) are growing in capability and applicability. Their effectiveness has led to their use in safety critical and autonomous systems, yet there is a dearth of…