Refactoring Neural Networks for Verification

Shriver David
Shriver David
Xu Dong
Xu Dong
Cited by: 5|Bibtex|Views15
Other Links: arxiv.org

Abstract:

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 cost-effective methods available for reasoning about the behavior of a DNN. In this paper, we seek to expand the applicability and scalability of existing DN...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments