AI-secure/VeriGauge

A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]

语言：C · GitHub 星标：90 · Fork：8

话题：deep-learning · robustness · verfication

在 GitHub 上查看原仓库