Picture for Srećko Ðurašinović

Srećko Ðurašinović

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

Add code
May 27, 2024
Viaarxiv icon