Auto-Verify is a framework for neural network verification, that allows you to install, configure and run verification tools in parallel portfolios.
To get started, head to the Documentation.
-
Notifications
You must be signed in to change notification settings - Fork 2
Portfolio-based verification of neural network properties
License
ADA-research/auto-verify
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Portfolio-based verification of neural network properties
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published