NNV Python

Implementation of the Neural Network Verification (NNV) tool by VeriVITAL in Python.

Examples

Here are the instructions for reproducing the examples.

1. Clone the repository and cd into it.
2. Create a Python virtual environment and install from the requirements.txt file:

python3 -m venv venv && source venv/bin/activate
pip install -r requirements.txt

3. To run the Box or Zono examples:

python examples/box_example.py
python examples/zono_example.py

Thank you!