GitHub repository: souradeep-111/sherlock
Primary language: C++
Created: 2018-02-01T04:41:19Z
Description: Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.