Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation

要約

私たちは、回転、スケーリング、せん断、平行移動などの入力画像の幾何学的変換に対してニューラル ネットワークを検証する問題に取り組みます。
提案された方法は、分枝限定リプシッツ最適化と組み合わせてサンプリングと線形近似を使用することにより、ピクセル値に対する確実な区分的線形制約を計算します。
この方法の特徴は、現在の最先端技術よりも摂動領域の厳密な過近似が得られることです。
包括的なベンチマークの実験結果を報告します。
私たちが提案する実装​​は、計算効率が高く、現在のアプローチよりも多くの検証ケースを解決できることを示します。

要約(オリジナル)

We address the problem of verifying neural networks against geometric transformations of the input image, including rotation, scaling, shearing, and translation. The proposed method computes provably sound piecewise linear constraints for the pixel values by using sampling and linear approximations in combination with branch-and-bound Lipschitz optimisation. A feature of the method is that it obtains tighter over-approximations of the perturbation region than the present state-of-the-art. We report results from experiments on a comprehensive set of benchmarks. We show that our proposed implementation resolves more verification cases than present approaches while being more computationally efficient.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google