There are 0 repository under deep-poly topic.
This project implements a DeepPoly verifier for fully connected, convolutional, and residual neural networks.
Repository for the Reliable and Trustworthy AI project offered in Fall 2021 at ETH Zürich