Posts by Collection
portfolio
publications
Sur les Extensions Galoisiennes de Degré Infini
Published in Wuhan University and Université de Franche-Comté, 2017
Polynomial Optimization Methods for Robustness Certification Problems in Deep Neural Networks
Published in Université Paris Sud, 2019
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks
Published in Advances in Neural Information Processing Systems (NeurIPS), 2020
Semialgebraic representation of monotone deep equilibrium models and applications to certification
Published in Advances in Neural Information Processing Systems (NeurIPS), 2021
A Sublevel Moment-SOS Hierarchy for Polynomial Optimization
Published in Computational Optimization and Applications, 2022
Robustness Verification of Neural Networks using Polynomial Optimization
Published in Université Toulouse 3 Paul Sabatier, 2023
talks
Talk 1 on Relevant Topic in Your Field
Published:
Tutorial 1 on Relevant Topic in Your Field
Published:
Talk 2 on Relevant Topic in Your Field
Published:
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
Teaching experience 2
Workshop, University 1, Department, 2015