Verifying neural networks with zonotope relaxations.
Primary LanguagePython
This repository is not active