Simplifying Neural Networks with the Marabou Verification Engine

Gokulanathan Sumathi
Gokulanathan Sumathi
Feldsher Alexander
Feldsher Alexander
Malca Adi
Malca Adi
Barrett Clark
Barrett Clark
Cited by: 1|Bibtex|Views1|Links

Abstract:

Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these tools on real-world DNNs is an important step towards their wider adoption. We focus here on the recently proposed Marabou verification tool, and demonstrate its usage for a ...More

Code:

Data:

Your rating :
0

 

Tags
Comments