Learning Minimal Neural Activation Pattern Specifications for Robust Neural Network Verification

Given a neural network, finding the minimal (coarsest) neural activation pattern specification that is sufficient for formal verification of the network's robustness.