Last released Jun 3, 2023
A package for robustness verification of neural networks using optimization methods.
Supported by