auto-verify

Efficient portfolio-based verification of neural network properties

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install auto-verify

Releases

Version Released Buster
Python 3.7
Bullseye
Python 3.9
Bookworm
Python 3.11
Files
0.1.3 2023-12-06      
0.1.2 2023-12-06      
0.1.1 2023-11-16      
0.1.0 2023-10-13      
0.0.1 2022-12-09    

Issues with this package?

Page last updated 2023-12-06 14:58:29 UTC