Before revision:  In this paper, we take a major step in addressing this challenge and present a new  framework, called PRIMA , that computes precise convex approximations of arbitrary non-linear activations.
After revision:  In this paper, we take a major step in addressing this challenge and present a new verification framework, called PRIMA , that computes precise convex approximations of arbitrary non-linear activations.