Zobrazeno 1 - 2 of 2 pro vyhledávání: '"Ðurašinović, Srećko"'
1
Report
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Autor: Yang, Jianting, Ðurašinović, Srećko, Lasserre, Jean-Bernard, Magron, Victor, Zhao, Jun
This paper explores methods for verifying the properties of Binary Neural Networks (BNNs), focusing on robustness against adversarial attacks. Despite their lower computational and memory needs, BNNs, like their full-precision counterparts, are also
Externí odkaz: http://arxiv.org/abs/2405.17049
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje