Project

A formal characterization of the robustness of deep learning techniques