AI · Studies · 2026-11-09 12:10
This GitHub project compares PGD adversarial attacks with Marabou SMT formal verification on traffic sign datasets to assess model safety when PGD fails. The experiment code evaluates whether models remain secure under adversarial conditions where standard gradient-based methods are insufficient.
Auto-generated summary for reference only. RSS