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

语境鲁棒性 描述的图像分类神经网络的上下文相关验证的工具集。 安装与设定 先决条件 python 3.5.0 <= 3.8.7 cmake> = 3.12(用于编译Marabou) 设置环境和安装Python Deps git clone 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可以在下载,安装步骤