연구진은 안전이 중요한 시스템에 AI를 적용함에 따라 모델의 강건성 보장을 위한 공식적인 검증이 필수적이라고 강조했어요. 기존 검증 방법은 지나치게 보수적인 근사치를 사용하거나 계산 비용이 과도한 문제를 안고 있으며, 실제 적대적 공격은 공간적·시간적 상관관계를 보입니다. 새로운 검증 프레임워크인 STBP는 첫 번째 컨볼루션 레이어의 정확한 특성을 계산하고 확장 가능한 근사를 사용하여 후속 레이어를 통해 인증된 경계를 전파합니다.