From ERAN:
convSmallRELU_cifar__DiffAI.pyt
https://files.sri.inf.ethz.ch/eran/nets/pytorch/cifar/convSmallRELU__DiffAI.pyt

convSmallRELU__DiffAI.pyt
https://files.sri.inf.ethz.ch/eran/nets/pytorch/mnist/convSmallRELU__DiffAI.pyt

convBigRELU__DiffAI.pyt
https://files.sri.inf.ethz.ch/eran/nets/pytorch/mnist/convBigRELU__DiffAI.pyt