search

Verified-Intelligence / alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
Other
243 stars 60 forks source link

Adversarial example generation #67

Closed mhmd97z closed 3 months ago

mhmd97z commented 3 months ago

Hello, how to generate the exact adversarial example when the output's upper bound is negative in input or relu splitting?

shizhouxing commented 3 months ago

To save the counterexample, set the following options: https://github.com/Verified-Intelligence/alpha-beta-CROWN/blob/main/complete_verifier/arguments.py#L87-L89 https://github.com/Verified-Intelligence/alpha-beta-CROWN/blob/main/complete_verifier/arguments.py#L772-L774