Towards Proving the Adversarial Robustness of Deep Neural Networks

Guy Katz, etc.

Verifying Properties of Neural Networks

DNN可以被当作解决一个linear equation集合,加上ReLU限制。

但这个问题上NP-complete。

results matching ""

    No results matching ""