Torch-based SMC/PVS prover for neural network verification
Project description
torchverif
Multiple pytorch tools towards formal verification of neural networks
Tools
- PyTorch to PVS theory generation
- Interval propagation through PyTorch network
- Statistical Model Checking (SMC) neural network verification
Prerequisites
Install dependencies with:
pip install -r requirements.txt
Usage
See tests/ for examples
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
torchverif-0.0.2.tar.gz
(14.4 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file torchverif-0.0.2.tar.gz.
File metadata
- Download URL: torchverif-0.0.2.tar.gz
- Upload date:
- Size: 14.4 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.9.20
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
3f18523a09eccfc8d01997415e2050f64cff70f157b5d6f6d36d05a8f1362f65
|
|
| MD5 |
5ef11cfcc6e342df4b362cf4577e04ae
|
|
| BLAKE2b-256 |
88f1424691a5ffd0e42f9d947037f9ef00655ffafc1fb148a206fef4706d8a14
|
File details
Details for the file torchverif-0.0.2-py3-none-any.whl.
File metadata
- Download URL: torchverif-0.0.2-py3-none-any.whl
- Upload date:
- Size: 14.9 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.9.20
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
4e3b7c003eda93df6adb8c00d6bc9f7b4b4d5aff853e8c53ed4f5bed13082475
|
|
| MD5 |
b5b98b7c2ada83a8b21212030ed27486
|
|
| BLAKE2b-256 |
1231fc30e9849db93360a84264c319e857eeb2f9282850818e2b83b43b6fe93b
|
