GitHub repository: nathanawmk/eran
Description: ETH Robustness Analyzer for Deep Neural Networks