Published July 30, 2023
| Version v1
Journal article
Open
Formally Explaining Neural Networks within Reactive Systems: Artifact
- 1. The Hebrew University of Jerusalem
- 2. University of Verona
Description
This repository includes an accompanying artifact to our paper --- Formally Explaining Neural Networks within Reactive Systems (to appear at the FMCAD 2023 conference)
For specific instructions, please unzip the artifact and read the README file.
For technical questions --- contact us at shahaf@cs.huji.ac.il and guyam@cs.huji.ac.il.
Files
artifact.zip
Files
(108.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e4e36f73b8a3c3ec031d76a5eeddf3b9
|
108.1 MB | Preview Download |