Metadata-Version: 2.3
Name: torchverif
Version: 0.0.2
Summary: Torch-based SMC/PVS prover for neural network verification
Author-email: Federico Rossi <federico.rossi95@outlook.it>
License-File: LICENSE
Requires-Python: >=3.8
Requires-Dist: matplotlib~=3.8.3
Requires-Dist: numpy~=1.26.4
Requires-Dist: scipy~=1.12.0
Requires-Dist: torch~=2.2.0
Description-Content-Type: text/markdown

# 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:

```bash
pip install -r requirements.txt
```

### Usage

See `tests/` for examples
