When PGD fails, is your model safe? I tested it vs. Marabou SMT on traffic signs(github.com)
1 pointby luka3734 hours ago1 comment