There is a newer version of the record available.

Published October 21, 2022 | Version v1
Software Open

Towards Global Neural Network Abstractions with Locally-Exact Reconstruction: Data, Networks and Code

  • 1. The University of Manchester
  • 2. Federal University of Amazonas

Description

Data, neural networks and code of the experiments in the paper "Towards Global Neural Network Abstractions with Locally-Exact Reconstruction". A stand-alone Python library to compute GINNACER is included, as well as state-of-the-art global and local abstraction alternatives.

Files

ginnacer_experiment_package.zip

Files (12.5 MB)

Name Size Download all
md5:b6a1e6f9c7760efd7bec95c544b66bb8
12.5 MB Preview Download