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. PRIMA is based on novel approximation algorithms that compute the convex hull of polytopes, leveraging concepts from computational geometry.
After 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 involving multiple neurons via novel convex hull approximation algorithms that compute the convex hull of polytopes, leveraging concepts from computational geometry.