Jean-Bernard Lasserre

J. Yang, S. Durasinovic, J.B. Lasserre, V. Magron, J. Zhao (2025). Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization, ICLR 2025

J.B. Lasserre (2025). An extension of the Mean Value Theorem, The Mathematical Intelligencer