이 논문은 신경망 검증을 위한 최소 NAP(Neural Activation Pattern) 사양 문제를 다룬다. NAP는 각 뉴런의 활성화 상태를 나타내는 추상화로, 기존 L-infinity 노름 공 사양보다 유연하고 넓은 영역을 커버할 수 있다.
저자들은 주어진 신경망에 대해 신경망 견고성 검증에 충분한 최소(가장 조잡한) NAP를 찾는 문제를 제시한다. 이는 검증 가능한 영역을 크게 확장할 뿐만 아니라 모델의 견고성에 기여하는 핵심 뉴런을 밝혀낼 수 있다는 점에서 중요하다.
저자들은 정확성이 보장되는 정확한 접근법과 효율적인 근사 접근법을 제안한다. 정확한 접근법은 검증 도구를 활용하여 최소 NAP를 찾지만, 대규모 신경망에는 비효율적이다. 이에 따라 검증 도구 없이 최소 NAP를 추정하는 두 가지 근사 접근법을 제안한다.
실험 결과, 최소 NAP 사양은 가장 정교한 NAP 사양에 비해 훨씬 적은 수의 뉴런을 포함하지만, 검증 가능 경계를 크게 확장할 수 있음을 보여준다.
翻譯成其他語言
從原文內容
arxiv.org
深入探究