LASSO 정규화를 통한 2층 ReLU 신경망의 증명 가능한 식별성 | Synapse