Picture for Jianting Yang

Jianting Yang

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

Add code
May 27, 2024
Viaarxiv icon