2 papers
math.OC2025
Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations
Srećko Ðurašinović, Perla Azzi, Jean-Bernard Lasserre +3
The classical Moment-Sum Of Squares hierarchy allows to approximate a global minimum of a polynomial optimization problem through semidefinite relaxations of increasing size. Howev…
cs.LG2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang, Srećko Ðurašinović, Jean-Bernard Lasserre +2
This paper explores methods for verifying the properties of Binary Neural Networks (BNNs), focusing on robustness against adversarial attacks. Despite their lower computational and…