84 citations · 110 across the 9 of their papers we have counts for
1 paper · 1 filter
Jianting Yang, Srećko Ðurašinović, Jean-Bernard Lasserre +2
This paper explores methods for verifying the properties of Binary Neural Networks (BNNs), focusing on robustness against adversarial attacks. Despite their lower computational and…