Srecko Durasinovic

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

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 sensitive to input perturbations. Established meth…