Verifying Quantized Neural Networks using SMT-Based Model Checking Authors: Luiz Sena, Xidan Song, Erickson Alves, Iury Bessa, Edoardo Manino, Lucas Cordeiro, Eddie de Lima Filho | Published: 2021-06-10 | Updated: 2021-09-16 モデルの設計や精度安全性特性量子化ニューラルネットワーク 2021.06.10 2025.05.13 Literature Database
Defensive Quantization: When Efficiency Meets Robustness Authors: Ji Lin, Chuang Gan, Song Han | Published: 2019-04-17 敵対的学習敵対的攻撃検出量子化ニューラルネットワーク 2019.04.17 2025.05.13 Literature Database
