Page
%P
-
Chapter and Conference Paper
Verifying Neural Networks by Approximating Convex Hulls
The increasing prevalence of neural networks necessitates their verification in order to ensure security. Verifying neural networks is a challenge due to the use of non-linear activation functions. This work c...
-
Chapter and Conference Paper
Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models
The remarkable success of neural networks has led to a growing demand for robustness verification and guarantee. However, the discrete nature of text data processed by language models presents challenges in me...
