When PGD fails, is your model safe? I tested it vs. Marabou SMT on traffic signs

 (github.com)

1 points | by luka373 5 hours ago ago

1 comments