TY  - RPRT
TI  - Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
AU  - Jianting Yang
AU  - Srećko Ðurašinović
AU  - Jean-Bernard Lasserre
AU  - Victor Magron
AU  - Jun Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2405.17049
ID  - 2405.17049
ER  -