NeuralVerification.jl:正确验证深度神经网络的方法

测验 覆盖范围 文献资料 神经验证 该库包含各种方法的实现，可以有效地验证深度神经网络。 通常，我们验证神经网络是否满足某些输入输出约束。 验证方法分为五类： 可达性方法： ， ， ， 原始优化方法： ， ， 对偶优化方法：， ， 搜索和可达性方法： ， ， ， FastLin ， FastLip 搜索和优化方法： Sherlock ， BaB ， Planet ， Reluplex 参考：C. Liu，T。Arnon，C。Lazarus，C。Strong，C。Barrett和M. Kochenderfer，“验证深度神经网络的算法”，出现在“基础和优化趋势”中。 arXiv：1903.06758 。 安装 要下载此库，请从julia软件包管理器中克隆它，如下所示： (v1. 0 ) pkg > add https : // github . com /