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