Scalable verification of quantized neural networks
Formal verification of neural networks is an active topic of research, and recent advances have significantly increased the size of the networks that verification tools can handle. However, most methods are designed for verification of an idealized model of the actual network which works over real a...
Saved in:
| Main Authors: | , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2021
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/9074 https://ink.library.smu.edu.sg/context/sis_research/article/10077/viewcontent/16496_Article_Text_19990_1_2_20210518.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Singapore Management University |
| 語言: | English |