신경망 설명을 위한 도메인 슬라이싱 기반 논리적 해석 기법

본 논문은 신경망(NN)의 논리 기반 설명을 생성할 때 발생하는 확장성 문제를 해결하고자, 입력 특성의 정의역을 여러 서브 도메인으로 나누는 “도메인 슬라이싱” 기법을 제안한다. 슬라이스별로 NN을 단순화하고 MILP 기반 검증을 수행함으로써 설명 생성 시간을 최대 40 %까지 단축한다는 실험 결과를 제시한다.

저자: Luiz Fern, o Paulino Queiroz, Carlos Henrique Leitão Cavalcante