본 논문은 심층 신경망의 안전성 보장을 위한 검증 알고리즘의 효율성을 높이는 방법인 부분 다중 뉴런 이완 기법을 제시합니다. 기존 방식은 단일 뉴런 또는 다중 뉴런 이완으로 나뉘지만, 이 논문은 효율성과 정확성을 모두 잡기 위해 일부 뉴런에만 다중 뉴런 이완을 적용합니다. 연구진은 Marabou 검증기에 이 기법을 통합하여 기존 방식과 비교했을 때 우수한 결과를 얻었습니다.