夏洛克是使用ReLU活化单元来进行深神经网络输出范围麻醉的工具.
舍洛克·夏洛克是深神经网络的输出范围分析工具. 目前的版本只能处理feedward神经网络,有ReLU活化单元. 唯一需要的库是MILP解析器古罗比. http://www. 请修改文件 Makefile.locale 帮助我们找到 Gurobi 。 对于安装了最新gurobi7.52的Mac, 您可能设置为: HOSTARCH=mac64 GUROBIPATH=/Library/gurobi752 对于一个 linux 框, 您的 settins 将是: ARCH=linux64 # 如果您使用 linux 框 GUROBIPATH=/opt/ gurobi752 你应该可以随意修改这两个变量. Makefile将在$(GUROBIPATH)/$(HOSTARCH)/包括和图书馆在$(GUROBIPATH)/$(HOSTARCH)/包括项下查找古罗比信头 一旦这些设定,你应该打mak..