Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. - Jianting Yang; Srecko Ðurasinovic; Jean B. Lasserre; Victor Magron; Jun Zhao (ICLR, 2025)