Robustness Verification of Neural Networks using Polynomial Optimization

Published in Université Toulouse 3 Paul Sabatier, 2023

This is the PhD thesis of Tong Chen, summarizing the polynomial optimization frameworks for various deep learning task. [link, slides]