nnv-py
A library for analyzing deep neural networks with verification techniques.
Install requirements:
apt install coinor-libcbc-dev
Python Bindings for Verification and Statistics on Deep Neural Networks
A library for analyzing deep neural networks with verification techniques.
Install requirements:
apt install coinor-libcbc-dev
Python Bindings for Verification and Statistics on Deep Neural Networks
MIT License