신경망 (NNs)의 사용은 안전 및 보안이 중요한 영역을 포함하여 급격히 증가하고 있습니다. 신경망 (NN)의 동작에 대한 공식적인 보증을 제공하기 위해, 많은 검증 방법들은 활성화 함수 (activation functions)의 최적화 가능한 선형 완화 (linear relaxations)에 의존합니다. 그러나 기존 기술들은 각 활성화 함수에 대해 수작업으로 제작된 완화 방식에 의존합니다. 따라서 최신 활성화 함수로 확장하기 위해서는 상당한 수동 작업이 필요합니다. 이와 대조적으로, 우리의 접근 방식인 SLiR (Shifting-based Linear Relaxations)은 리프시츠 상수 (Lipschitz constant) 또는 임계점 (critical points) 집합만을 필요로 하여 폭넓게 적용 가능합니다. SLiR은 기울기 (slope)를 통해 완화 방식을 매개변수화하며, 입력 도메인에 대해 타당한 상한 및 하한을 보장하는 이동 절차 (shifting procedure)를 통해 상응하는 오프셋 (offset)을 계산함으로써, 정확성을 유지하면서 효율적인 최적화를 가능하게 합니다. 우리의 실험 결과에 따르면, SLiR은 광범위한 실용적 활성화 함수에 대해 타이트한 완화 (tight relaxations)를 생성하며, 최신 방법들과 비교했을 때 최대 7.8배 더 많은 속성 (properties)을 검증할 수 있음을 보여줍니다.