JacksonZyy
Results
2
comments of
JacksonZyy
Hi, I used the previous version of your system like 3 months ago. The execution command is: ``` conda activate alpha-beta-crown cd complete_verifier python robustness_verifier.py --config exp_configs/mnist_conv_small.yaml ``` where I...
The timeout works fine with the new system, even though the version before Sep release doesn't work