GitHub repository: marti-mcfly/nn-verification-assessment
Primary language: Python
Description: Performance assessment of state-of-the-art local robustness verification algorithms.