Published May 15, 2023
| Version 1.0.0
Software
Open
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks: Experimental Data
Description
Full experimental data for the paper "A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks". We also include a virtual machine for reproducing our experiments.
Files
Files
(11.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1740aa4ea4150ac7c5f71438a431d364
|
1.6 GB | Download |
|
md5:6372512f94ae910573af38b67c1a887e
|
6.2 MB | Download |
|
md5:bc01835464e2f259bc36cef84e8df3a2
|
10.1 GB | Download |
Additional details
Related works
- Is part of
- Conference paper: arXiv:2301.11342 (arXiv)
- Conference paper: https://openreview.net/forum?id=z3hnQh5UJd (URL)