 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.
<meaning-changed>  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.
 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.