GitHub repository: tomginsberg/DeepZAdapt
Primary language: Python
Description: A learnable L-Infinity Neural Network Verifier based on the DeepZ framework