Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization.

Jianting Yang, Srecko urasinovic, Jean B. Lasserre, Victor Magron, Jun Zhao

Browse the full ICLR paper archive.