Certified Robustness Explained

Hadi and Tim delve into the world of certified defenses for neural networks, discussing the difference between empirical and certified defenses. Hadi sheds light on the importance of finding proofs to ensure robustness against attacks, offering insights into the complexities of certifying neural networks.