Code Monkey home page Code Monkey logo

dnn_verification's Introduction

Dnn Verification Tools

Repository containing scripts to install, and use

(Note: all the installations are done without sudo privileges) Tested on Centos 7

Installation

To install tools currently supported, execute

sh ./scripts/install.sh install reluplex marabou ...

Experiments

ACAS Xu Experiments

Based on the definitions provided by Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Currently available properties

Tool Description
Reluplex 1,2,3,4,5,6,7,8,9,10
Marabou 2,3,4,5,6,9,10
ReluVal(Neurify) 1,2,3,4,5,6,7,8,9,10
ERAN 2,3,4,5,6,9,10
NNV

ACAS Xu DNNs provided in resources/acasxu directory in nnet and onnx format.
nnet: from /Marabou/resources/nnet/acasxu/
onnx: converted from the above nnet files using the nnet2onnx converter from NNet repository.

Repository Tree

.
├── README.md
├── resources
│   └── acasxu
│       ├── nnet
│       │   ├── ACASXU_experimental_v2a_1_1.nnet
│       │   ├── ...
│       ├── onnx
│       │   ├── ACASXU_experimental_v2a_1_1.onnx
│       │   ├── ...
│       └── properties
│           ├── eran
│           │   ├── property2_constraints.txt
│           │   ├── property2_input_prenormalized.txt
│           │   ├── ...
│           ├── marabou
│           │   ├── property2.txt
│           │   ├── ...
│           ├── reluplex
│           │   └── properties.md
│           └── reluval
│               └── properties.md
├── scripts
│   ├── exec
│   ├── installation
│   └── utils
│       ├── marabou
│       │   ├── run_property1.sh
│       │   ├── ...
│       └── maraboudnc
│           ├── run_property1.sh
│           ├── ...
├── slurm_scripts
│   ├── deeppoly
│   ├── marabou
│   │   ├── prop1.slurm.sh
│   │   ├── ...
│   ├── maraboudnc
│   │   ├── prop1.slurm.sh
│   │   ├── ...
│   ├── reluplex
│   │   ├── prop1.slurm.sh
│   │   ├── ...
│   └── reluval
│       ├── prop1.slurm.sh
│       ├── ...
├── tools
│   ├── acasxu_nnet2onnx.sh
│   └── nnet2onnx.py
└── verifiers

References

DNNV (https://github.com/dlshriver/DNNV)
NNet (https://github.com/sisl/NNet)
How to install ERAN on Linux without sudo

dnn_verification's People

Contributors

shchae7 avatar

Watchers

 avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.