Towards Global Neural Network Abstractions with Locally-Exact Reconstruction

Open in new window