Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization - Yang, Jianting; Durasinovic, Srecko; Lasserre, Jean Bernard; Magron, Victor; ZHAO, Jun (International Conference on Learning Representations, 2025)