Haoze(Andrew) Wu

For Marabou ``` TOOL_NAME=Marabou REPO= https://github.com/anwu1219/Marabou_private.git COMMIT=32bc82e785c570523c0af0a0e6e2b77c7e89986f SCRIPTS_DIR=vnn-comp-scripts ``` Repo: https://github.com/anwu1219/Marabou_private.git Readme : https://github.com/anwu1219/Marabou_private/blob/vnn-comp-21/README.md

Hi, we'd like to suggest three cifar10 convolutional networks. The benchmarks are in the following repo: https://github.com/anwu1219/VNN-COMP21-benchmarks We also included a script to generate targeted l-inf robustness query taking the...

> Thanks, @anwu1219, we have a few questions regarding the benchmarks. > > We have had some trouble loading the networks in our toolkit. All layers seem to be wrapped...

@pkouvaros Thanks for the comments on our proposed benchmarks. Experimentally, we found the proposed radii yield benchmarks with a mixed levels of difficulties. Indeed some can be solved fairly quickly...