GitHub repository: AI-secure/VeriGauge
Primary language: C
Description: A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]