maraboupy-neuralnetworkverification (pypi): Marabou Neural Network Verification Framework Python Interface
Keywords: neural network|formal verification