Picture for Jean-Bernard Lasserre

Jean-Bernard Lasserre

LAAS-MAC

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

Add code
May 27, 2024
Viaarxiv icon

Uncertainty Quantification of Set-Membership Estimation in Control and Perception: Revisiting the Minimum Enclosing Ellipsoid

Add code
Nov 27, 2023
Viaarxiv icon

Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant

Add code
Sep 13, 2022
Figure 1 for Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
Figure 2 for Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
Figure 3 for Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
Figure 4 for Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
Viaarxiv icon

Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks

Add code
Feb 10, 2020
Figure 1 for Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks
Figure 2 for Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks
Figure 3 for Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks
Figure 4 for Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks
Viaarxiv icon

Data analysis from empirical moments and the Christoffel function

Add code
Oct 19, 2018
Figure 1 for Data analysis from empirical moments and the Christoffel function
Figure 2 for Data analysis from empirical moments and the Christoffel function
Figure 3 for Data analysis from empirical moments and the Christoffel function
Figure 4 for Data analysis from empirical moments and the Christoffel function
Viaarxiv icon

The empirical Christoffel function with applications in Machine Learning

Add code
Dec 18, 2017
Figure 1 for The empirical Christoffel function with applications in Machine Learning
Figure 2 for The empirical Christoffel function with applications in Machine Learning
Figure 3 for The empirical Christoffel function with applications in Machine Learning
Figure 4 for The empirical Christoffel function with applications in Machine Learning
Viaarxiv icon

Sorting out typicality with the inverse moment matrix SOS polynomial

Add code
Jun 14, 2016
Figure 1 for Sorting out typicality with the inverse moment matrix SOS polynomial
Figure 2 for Sorting out typicality with the inverse moment matrix SOS polynomial
Figure 3 for Sorting out typicality with the inverse moment matrix SOS polynomial
Figure 4 for Sorting out typicality with the inverse moment matrix SOS polynomial
Viaarxiv icon

Approximating Pareto Curves using Semidefinite Relaxations

Add code
Jun 16, 2014
Figure 1 for Approximating Pareto Curves using Semidefinite Relaxations
Figure 2 for Approximating Pareto Curves using Semidefinite Relaxations
Figure 3 for Approximating Pareto Curves using Semidefinite Relaxations
Figure 4 for Approximating Pareto Curves using Semidefinite Relaxations
Viaarxiv icon