deep-poly

Here are 2 public repositories matching this 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

Add a description, image, and links to the deep-poly topic page so that developers can more easily learn about it.

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