GitHub repository: shubhajitroy123/INNVerS
Primary language: Shell
Created: 2021-07-16T19:54:00Z
Description: INNVerS (IACS Neural Networks Verification System): A tool for verification of ReLU neural network (for example, Acas-Xu) properties.