신경망 견고성 검증

신경망 계산에 대한 공식적인 검증 문제를 조사하며, 다양한 견고성 및 최소화 문제를 다룬다.