GitHub repository: stanleybak/vnncomp2021
Primary language: Python
Created: 2021-01-25T17:08:17Z
Description: VNN Neural Network Verification Competition 2021