NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation Artifact

Published February 2, 2022 | Version v1

Conference paper Open

Virtual machine with NeuroDiff installed and functional.

Files

Name	Size	Download all
neurodiff-artifact2.ova md5:cc353181c8d66c987794fd743d43e3b8	1.4 GB	Download

Citations

Oops! Something went wrong while fetching results.

Views

Downloads

Show more details

DOI

Resource type

Conference paper

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more