Efficient portfolio-based verification of neural network properties
Project description
Auto-Verify 0.1.0
conda create -n av python=3.10 -y
conda activate av
pip install -e .
pip install -e ".[dev]"
auto-verify --help
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
auto-verify-0.1.0.tar.gz
(79.8 kB
view hashes)
Built Distribution
Close
Hashes for auto_verify-0.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2d247ceea560bfec750d8083734c8571467003813cd3f61861ee8058f2a588a4 |
|
MD5 | 163b7784988d1b85237628c23ff478d4 |
|
BLAKE2b-256 | 4d3f98cb69e2d55968a83b0505e06f1640ca2d737382f4ddf24b78cc59c942f0 |