This directory contains code for generating and referencing the models used in ../experiments. In particular, we use models from:
In general, we prefer the ERAN format for its simplicity, and translate the ReluPlex and VRL models to it before importing in our experiments. The ONNX models are not used in our experiments, but we use them to test the (experimental) ONNX import support in PySyReNN.