When PGD fails, is your model safe? I tested it vs. Marabou SMT on traffic signs (github.com) 1 points by luka373 2d ago ↗ HN
1 comment
[ 2.6 ms ] story [ 16.2 ms ] thread