Repair Instead of Retraining: A Constraint-Guided Framework for Neural Network Repair
이 논문은 DeepSHAP을 통해 결함 관련 가중치를 국소화하고, 콘콜릭 테스팅(concolic testing)을 통해 심볼릭 제약 조건을 수집하며, Max-SMT로 업데이트를 최적화함으로써 배포된 신경망을 복구하는 제약 유도 프레임워크를 소개하며, 체계적인 디자인 공간 탐색이 모델의 충실도를 유지하면서도 적대적 공격 및 백도어 취약성을 크게 줄이는 바이어스 전용 수정과 같은 결정적인 복구 전략을 밝혀낸다는 것을 광범위한 실험을 통해 입증한다.