GitHub topics: deep-poly
rharish101/RTAI-Project 📦
Repository for the Reliable and Trustworthy AI project offered in Fall 2021 at ETH Zürich
Language: Python - Size: 3.09 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
Markus-Pobitzer/RTAI
This project implements a DeepPoly verifier for fully connected, convolutional, and residual neural networks.
Language: Python - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
