DC Field | Value | Language |
---|---|---|
dc.contributor.author | 정문현 | - |
dc.contributor.author | 배경민 | - |
dc.date.accessioned | 2020-10-08T00:50:25Z | - |
dc.date.available | 2020-10-08T00:50:25Z | - |
dc.date.created | 2020-10-05 | - |
dc.date.issued | 2020-07-03 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/104257 | - |
dc.description.abstract | 심층신경망(Deep neural network, DNN)은 음성 인식, 이미지 분류 등의 다양한 분야에서 소프트웨어를 위하여 널리 활용되고 있다. 하지만 DNN에는 적대적 예제와 같은 예상치 못한 오류가 존재할 수 있으며, 이를 방지하기 위하여 DNN의 요구사항을 검증하기 위한 DNN 정형검증 기술이 활발하게 연구되고 있다. 본 논문에서는 DNN의 요구사항 검증의 성능을 향상하기 위하여 DNN의 구조적 성질을 활용하는 방법론을 제안한다. 본 논문에서는 ReLU를 활성함수로 가지는 DNN의 구조적 성질을 정의하고, 이를 이용하여 SMT 기반 DNN 검증의 성능을 향상시킬 수 있음을 보였다. | - |
dc.language | Korean | - |
dc.publisher | 한국정보과학회 | - |
dc.relation.isPartOf | 한국컴퓨터종합학술대회 (KCC) | - |
dc.relation.isPartOf | 한국정보과학회 학술발표논문집 | - |
dc.title | 구조적 성질을 활용한 심층신경망의 정형검증 기법 | - |
dc.title.alternative | Formal Verification of Deep Neural Networks using Structural Information | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.identifier.bibliographicCitation | 한국컴퓨터종합학술대회 (KCC), pp.242 - 244 | - |
dc.citation.conferenceDate | 2020-07-02 | - |
dc.citation.conferencePlace | KO | - |
dc.citation.endPage | 244 | - |
dc.citation.startPage | 242 | - |
dc.citation.title | 한국컴퓨터종합학술대회 (KCC) | - |
dc.contributor.affiliatedAuthor | 정문현 | - |
dc.contributor.affiliatedAuthor | 배경민 | - |
dc.description.journalClass | 2 | - |
dc.description.journalClass | 2 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.