deep-poly

Here are 2 public repositories matching this topic...

This project implements a DeepPoly verifier for fully connected, convolutional, and residual neural networks.

rtai deeppoly deep-poly

Repository for the Reliable and Trustworthy AI project offered in Fall 2021 at ETH Zürich

course-project eth-zurich reliable-ai deep-poly

To associate your repository with the deep-poly topic, visit your repo's landing page and select "manage topics."