verifinn (pypi): A package for robustness verification of neural networks using optimization methods.
Keywords: neural networks|verification|convex optimization|semidefinite programming