The VeriNet toolkit for verification of neural networks
-
Updated
Jul 2, 2023 - Python
The VeriNet toolkit for verification of neural networks
LimbicAI is an AI that induces emotions like fear in AI.
The open source version of the VeriNet toolkit for verification of neural networks.
Add a description, image, and links to the safeai topic page so that developers can more easily learn about it.
To associate your repository with the safeai topic, visit your repo's landing page and select "manage topics."