Robustness Verification of Polynomial Neural Networks

Yulia Alexandr, Hao Duan, Guido Montúfar

We study robustness verification of neural networks via metric algebraic geometry. For polynomial neural networks, certifying a robustness radius amounts to computing the distance…