Magron, Victor

3 publications

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

NeurIPS 2021 Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification Tong Chen, Jean B Lasserre, Victor Magron, Edouard Pauwels

NeurIPS 2020 Semialgebraic Optimization for Lipschitz Constants of ReLU Networks Tong Chen, Jean B Lasserre, Victor Magron, Edouard Pauwels