ニューラルネットワークの堅牢性検証のための最小限のNAP仕様の学習

ニューラルネットワークの堅牢性を正式に検証するために、最小限の(最も粗い)NAP仕様を見つけることが重要である。最小NAP仕様は、入力空間の潜在的に大きな領域をカバーでき、ニューロンの堅牢性への寄与を明らかにする。