Towards an effective and interpretable refinement approach for DNN verification
Recently, several abstraction refinement techniques have been proposed to improve the verification precision for deep neural networks (DNNs). However, these techniques usually take many refinement steps to verify a property and the refinement decision in each step is hard to interpret, thus hinderin...
Saved in:
| Main Authors: | , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2023
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/8641 https://ink.library.smu.edu.sg/context/sis_research/article/9644/viewcontent/qrs23_Surgeon_av.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|