Taken from ERAN repository:
mnist_relu_9_200.tf
https://files.sri.inf.ethz.ch/eran/nets/tensorflow/mnist/mnist_relu_9_200.tf
convSmallRELU__cifar10_Point.pyt
https://files.sri.inf.ethz.ch/eran/nets/pytorch/cifar/convSmallRELU__Point.pyt
convSmallRELU__Point.pyt
https://files.sri.inf.ethz.ch/eran/nets/pytorch/mnist/convSmallRELU__Point.pyt
convBigRELU__DiffAI.pyt
https://files.sri.inf.ethz.ch/eran/nets/pytorch/cifar/convBigRELU__DiffAI.pyt
Outside ERAN:
ConvBig__Point_mnist.pyt
https://drive.google.com/file/d/1K9_jY-8jnJkWmHnxlajX9V6nL2Z-hD4P/view?usp=sharing
