Effective Formal Verification of Neural Networks using the Geometry of Linear Regions

Open in new window