deep-poly

There are 2 repositories under deep-poly topic.

  • Markus-Pobitzer/RTAI

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

    Language:Python1200

  • rharish101/RTAI-Project

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

    Language:Python20