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

(github.com) by luka373 | Nov 9, 2026 | 0 comments on HN