activity
20222026
most citedSparse sum of Hermitian squares in group algebras of finite groups

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LG2024

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

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…