Durasinovic, Srecko

1 publications

ICLR 2025 Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang, Srecko Durasinovic, Jean B. Lasserre, Victor Magron, Jun Zhao