contextual-robustness:上下文健壮性验证源代码-Verification code source code

语境鲁棒性 描述的图像分类神经网络的上下文相关验证的工具集。 安装与设定 先决条件 python 3.5.0 &lt;= 3.8.7 cmake> = 3.12（用于编译Marabou） 设置环境和安装Python Deps git clone < GITHUB> cd contextual-robustness python3 -m venv venv source venv/bin/activate pip install --upgrade pip pip install -r requirements.txt 安装马拉布 您可以使用./scripts/install_marabou.sh脚本或按照的说明下载和编译Marabou。 Gurobi（可选-提高Marabou的性能） 可以选择安装Gurobi以提高Marabou的性能。 Gurobi可以在下载，安装步骤