주어진 신경망에 대해 신경망 견고성 검증에 충분한 최소(가장 조잡한) NAP를 찾는 것이 핵심 과제이다. 최소 NAP 사양은 검증 가능한 영역을 크게 확장할 뿐만 아니라 모델의 견고성에 기여하는 뉴런을 밝혀낼 수 있다.
DEEPCDCL은 CDCL 프레임워크를 활용하여 신경망 검증의 효율성을 높이는 새로운 프레임워크이다.
