| 2025 | ICLR | Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. | Jianting Yang, Srecko urasinovic, Jean B. Lasserre, Victor Magron, Jun Zhao |
| 2023 | ISSAC | Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. | Przemyslaw Koprowski, Victor Magron, Tristan Vaccon |
| 2022 | ISSAC | Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. | Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu |
| 2021 | ISSAC | The Constant Trace Property in Noncommutative Optimization. | Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron |
| 2020 | ISSAC | A second order cone characterization for sums of nonnegative circuits. | Jie Wang, Victor Magron |
| 2019 | ISSAC | Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials. | Victor Magron, Henning Seidler, Timo de Wolff |
| 2018 | ISSAC | On Exact Polya and Putinar's Representations. | Victor Magron, Mohab Safey El Din |
| 2017 | ARITH | Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. | Alexandre Rocca, Victor Magron, Thao Dang |
| 2015 | SAS | Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. | Assal Adj, Pierre-Loc Garoche, Victor Magron |