Lipschitz Optimization for Formal Verification of… · DeepSignal