Publications HAL du projet ANR. ANR-19-P3IA-0004

2022

Journal articles

titre
On the Generalized Jacobian of the Inverse of a Lipschitzian Mapping
auteur
Marián Fabian, Jean-Baptiste Hiriart-Urruty, Edouard Pauwels
article
Set-Valued and Variational Analysis, Springer, 2022, ⟨10.1007/s11228-022-00640-5⟩
Accès au bibtex
BibTex
titre
Rate of convergence for geometric inference based on the empirical Christoffel function
auteur
Mai Trang Vu, François Bachoc, Edouard Pauwels
article
ESAIM: Probability and Statistics, EDP Sciences, 2022, ⟨10.1051/ps/2022003⟩
Accès au bibtex
https://arxiv.org/pdf/1910.14458 BibTex
titre
Second-order step-size tuning of SGD for non-convex optimization
auteur
Camille Castera, Cédric Févotte, Jérôme Bolte, Edouard Pauwels
article
Neural Processing Letters, Springer Verlag, 2022, pp.1--26. ⟨10.1007/s11063-021-10705-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03161775/file/2103.03570v2.pdf BibTex
titre
A Sublevel Moment-SOS Hierarchy for Polynomial Optimization
auteur
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
article
Computational Optimization and Applications, Springer Verlag, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩
Accès au bibtex
https://arxiv.org/pdf/2101.05167 BibTex

Conference papers

titre
Object Detection With Probabilistic Guarantees
auteur
Florence de Grancey, Jean-Luc Adam, Lucian Alecu, Sébastien Gerchinovitz, Franck Mamalet, David Vigouroux
article
Fifth International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022), Sep 2022, München, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03769683/file/waise-conformalobjectdetection-submitted.pdf BibTex
titre
Leveraging Influence Functions for Dataset Exploration and Cleaning
auteur
Agustin Martin Picard, David Vigouroux, Petr Zamolodtchikov, Quentin Vincenot, Jean-Michel Loubes, Edouard Pauwels
article
11th European Congress Embedded Real Time Systems (ERTS 2022), Jun 2022, Toulouse, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03617649/file/Leveraging_Influence_Functions_for_Dataset_Exploration_and_Cleaning_finalV2.pdf BibTex
titre
Can we reconcile safety objectives with machine learning performances?
auteur
Lucian Alecu, Hugues Bonnin, Thomas Fel, Laurent Gardes, Sébastien Gerchinovitz, Ludovic Ponsolle, Franck Mamalet, Éric Jenn, Vincent Mussot, Cyril Cappi, Kevin Delmas, Baptiste Lefevre
article
ERTS 2022, Jun 2022, TOULOUSE, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03765471/file/ERTS2022_paper_39.pdf BibTex
titre
How Good is your Explanation? Algorithmic Stability Measures to Assess the Quality of Explanations for Deep Neural Networks
auteur
Thomas Fel, David Vigouroux, Rémi Cadène, Thomas Serre
article
2022 CVF Winter Conference on Applications of Computer Vision (WACV), Jan 2022, Hawaii, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02930949/file/main.pdf BibTex

Books

titre
The Christoffel-Darboux Kernel for Data Analysis
auteur
Jean-Bernard Lasserre, Edouard Pauwels, Mihai Putinar
article
Cambridge University Press. Cambridge University Press, 2022, Cambridge Monographs on Applied and Computational Mathematics, 9781108937078
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
The derivatives of Sinkhorn-Knopp converge
auteur
Edouard Pauwels, Samuel Vaiter
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03736905/file/autodiff_sinkhorn.pdf BibTex
titre
Local Identifiability of Deep ReLU Neural Networks: the Theory
auteur
Joachim Bona-Pellissier, François Malgouyres, François Bachoc
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03687395/file/Local_identifiability_of_deep_relu_neural_networks_the_theory.pdf BibTex
titre
When adversarial attacks become interpretable counterfactual explanations
auteur
Mathieu Serrurier, Franck Mamalet, Thomas Fel, Louis Béthune, Thibaut Boissin
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03693355/file/hkr_explainability_Arxiv.pdf BibTex
titre
A general approximation lower bound in $L^p$ norm, with applications to feed-forward neural networks
auteur
El Mehdi Achour, Armand Foucault, Sébastien Gerchinovitz, François Malgouyres
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03690079/file/main.pdf BibTex
titre
Automatic differentiation of nonsmooth iterative algorithms
auteur
Jérôme Bolte, Edouard Pauwels, Samuel Vaiter
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03681143/file/nonsmooth_iterative_autodiff.pdf BibTex
titre
Nonsmooth automatic differentiation: a cheap gradient principle and other complexity results
auteur
Jérôme Bolte, Ryan Boustany, Edouard Pauwels, Béatrice Pesquet-Popescu
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03683640/file/nonSmoothAD.pdf BibTex
titre
Long term dynamics of the subgradient method for Lipschitz path differentiable functions
auteur
Jerome Bolte, Edouard Pauwels, Rodolfo Rios-Zertuche
article
2022
Accès au bibtex
https://arxiv.org/pdf/2006.00098 BibTex
titre
Subgradient sampling for nonsmooth nonconvex minimization
auteur
Jérôme Bolte, Tam Le, Edouard Pauwels
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03579383/file/subgradientSampling.pdf BibTex
titre
The loss landscape of deep linear neural networks: a second-order analysis
auteur
El Mehdi Achour, François Malgouyres, Sébastien Gerchinovitz
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03299887/file/main.pdf BibTex
titre
The Iterates of the Frank-Wolfe Algorithm May Not Converge
auteur
Jérôme Bolte, Cyrille W. Combettes, Edouard Pauwels
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03579585/file/fw-seq.pdf BibTex
titre
Existence, Stability and Scalability of Orthogonal Convolutional Neural Networks
auteur
El Mehdi Achour, François Malgouyres, Franck Mamalet
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03315801/file/main.pdf BibTex
titre
The ridge method for tame min-max problems
auteur
Edouard Pauwels
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03186676/file/partialMinimization.pdf BibTex
titre
Path differentiability of ODE flows
auteur
Swann Marx, Edouard Pauwels
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03516638/file/pathDiffFlow.pdf BibTex

2021

Journal articles

titre
Semi-algebraic approximation using Christoffel-Darboux kernel
auteur
Swann Marx, Edouard Pauwels, Tillmann Weisser, Didier Henrion, Jean B Lasserre
article
Constructive Approximation, Springer Verlag, 2021, 54 (3), pp.391-429. ⟨10.1007/s00365-021-09535-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02085835/file/main_final.pdf BibTex
titre
Curiosities and counterexamples in smooth convex optimization
auteur
Jerome Bolte, Edouard Pauwels
article
Mathematical Programming, Springer Verlag, 2021, ⟨10.1007/s10107-021-01707-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02447733/file/convexFreaks.pdf BibTex
titre
Incremental Without Replacement Sampling in Nonconvex Optimization
auteur
Edouard Pauwels
article
Journal of Optimization Theory and Applications, Springer Verlag, 2021, ⟨10.1007/s10957-021-01883-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02896102/file/incrementalNonsmoothNonconvex.pdf BibTex
titre
Sequential convergence of AdaGrad algorithm for smooth convex optimization
auteur
Cheik Traoré, Edouard Pauwels
article
Operations Research Letters, Elsevier, 2021, 49 (4), pp.452-458. ⟨10.1016/j.orl.2021.04.011⟩
Accès au bibtex
https://arxiv.org/pdf/2011.12341 BibTex
titre
Data analysis from empirical moments and the Christoffel function
auteur
Edouard Pauwels, Mihai Putinar, Jean-Bernard Lasserre
article
Foundations of Computational Mathematics, Springer Verlag, 2021, 21, pp.243--273. ⟨10.1007/s10208-020-09451-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01845137/file/christoffelSingular.pdf BibTex
titre
An Inertial Newton Algorithm for Deep Learning
auteur
Camille Castera, Jérôme Bolte, Cédric Févotte, Edouard Pauwels
article
Journal of Machine Learning Research, Microtome Publishing, 2021, 22 (134)
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02140748/file/arxiv.pdf BibTex

Conference papers

titre
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification
auteur
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
article
Advances in Neural Information Processing Systems, Dec 2021, Online, France
Accès au bibtex
https://arxiv.org/pdf/2106.01453 BibTex
titre
Nonsmooth Implicit Differentiation for Machine Learning and Optimization
auteur
Jérôme Bolte, Tam Le, Edouard Pauwels, Antonio Silveti-Falls
article
Advances in Neural Information Processing Systems, Dec 2021, Online, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03251332/file/implicitNonsmooth.pdf BibTex
titre
Numerical influence of ReLU’(0) on backpropagation
auteur
David Bertoin, Jérôme Bolte, Sébastien Gerchinovitz, Edouard Pauwels
article
Advances in Neural Information Processing Systems, Dec 2021, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03265059/file/Impact_of_ReLU_prime.pdf BibTex
titre
Achieving robustness in classification using optimal transport with hinge regularization
auteur
Mathieu Serrurier, Franck Mamalet, Alberto González-Sanz, Thibaut Boissin, Jean-Michel Loubes, Eustasio del Barrio
article
Conference on Computer Vision and Pattern Recognition, Jun 2021, Virtuel, Canada
Accès au bibtex
https://arxiv.org/pdf/2006.06520 BibTex
titre
The sample complexity of level set approximation
auteur
François Bachoc, Tommaso R Cesari, Sébastien Gerchinovitz
article
AISTATS 2021, Apr 2021, virtual, United States. pp.424-432
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02976018/file/main.pdf BibTex
titre
Overestimation learning with guarantees
auteur
Adrien Gauffriau, François Malgouyres, Mélanie Ducoffe
article
AAAI-21, workshop on safeAI, Feb 2021, Valence (Virtual), Spain
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03118707/file/safelearning.pdf BibTex

Reports

titre
White Paper Machine Learning in Certified Systems
auteur
Franck Mamalet, Eric Jenn, Gregory Flandin, Hervé Delseny, Christophe Gabreau, Adrien Gauffriau, Bernard Beaudouin, Ludovic Ponsolle, Lucian Alecu, Hugues Bonnin, Brice Beltran, Didier Duchel, Jean-Brice Ginestet, Alexandre Hervieu, Sylvain Pasquet, Kevin Delmas, Claire Pagetti, Jean-Marc Gabriel, Camille Chapdelaine, Sylvaine Picard, Mathieu Damour, Cyril Cappi, Laurent Gardès, Florence De Grancey, Baptiste Lefevre, Sébastien Gerchinovitz, Alexandre Albore
article
[Research Report] IRT Saint Exupéry; ANITI. 2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03176080/file/White_Paper_Machine_Learning_in_Certified_System_DEEL_project_v2.0.pdf BibTex

Preprints, Working Papers, ...

titre
Instance-Dependent Bounds for Zeroth-order Lipschitz Optimization with Error Certificates
auteur
François Bachoc, Tommaso R Cesari, Sébastien Gerchinovitz
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03129721/file/main.pdf BibTex

2020

Journal articles

titre
Semi-automatic segmentation of whole-body images in longitudinal studies
auteur
Eloïse Grossiord, Laurent Risser, Salim Kanoun, Richard Aziza, Harold Chiron, Loïc Ysebaert, François Malgouyres, Soléakhéna Ken
article
Biomedical Physics & Engineering Express, IOP Publishing, 2020, 7, pp.015014. ⟨10.1088/2057-1976/abce16⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03234347/file/Grossiord_2021_Biomed._Phys._Eng._Express_7_015014.pdf BibTex
titre
Conservative set valued fields, automatic differentiation, stochastic gradient method and deep learning
auteur
Jérôme Bolte, Edouard Pauwels
article
Mathematical Programming, Springer Verlag, 2020, ⟨10.1007/s10107-020-01501-5⟩
Accès au bibtex
BibTex
titre
Multi-Layer Joint Segmentation Using MRF and Graph Cuts
auteur
Nicolas Lermé, Sylvie Le Hégarat-Mascle, François Malgouyres, Marie Lachaize
article
Journal of Mathematical Imaging and Vision, Springer Verlag, 2020, 62 (6-7), pp.961-981. ⟨10.1007/s10851-019-00938-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02125044/file/cosegmentation.pdf BibTex

Conference papers

titre
A mathematical model for automatic differentiation in machine learning
auteur
Jerome Bolte, Edouard Pauwels
article
Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02734446/file/finalVersion.pdf BibTex
titre
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks
auteur
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
article
Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada
Accès au bibtex
https://arxiv.org/pdf/2002.03657 BibTex
titre
On the stable recovery of deep structured linear networks under sparsity constraints
auteur
François Malgouyres
article
Mathematical and Scientific Machine Learning, Jul 2020, Princeton, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01526083/file/sparse_net.pdf BibTex
titre
Learning optimal shape representations for multi-modal image registration
auteur
Eloïse Grossiord, Laurent Risser, Soleakhena Ken, Salim Kanoun, François Malgouyres
article
ISBI, Apr 2020, Iowa city, United States
Accès au bibtex
BibTex
titre
A High Probability Safety Guarantee for Shifted Neural Network Surrogates
auteur
Mélanie Ducoffe, Sébastien Gerchinovitz, Jayant Sen Gupta
article
SafeAI 2020, Feb 2020, New York, United States. pp.74-82
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Diversity-Preserving K-Armed Bandits, Revisited
auteur
Hédi Hadiji, Sébastien Gerchinovitz, Jean-Michel Loubes, Gilles Stoltz
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02957485/file/FairBandits-ALT20.pdf BibTex
titre
A Hölderian backtracking method for min-max and min-min problems
auteur
Jérôme Bolte, Lilian Glaudin, Edouard Pauwels, Mathieu Serrurier
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02900875/file/ridgeMethod.pdf BibTex
titre
Regret analysis of the Piyavskii-Shubert algorithm for global Lipschitz optimization
auteur
Clément Bouttier, Tommaso R Cesari, Mélanie Ducoffe, Sébastien Gerchinovitz
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02466084/file/main.pdf BibTex

2019

Journal articles

titre
Multilinear compressive sensing and an application to convolutional linear networks
auteur
François Malgouyres, Joseph Landsberg
article
SIAM Journal on Mathematics of Data Science, Society for Industrial and Applied Mathematics, 2019, 1 (3), pp.446-475
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01494267/file/interpretable.pdf BibTex

Conference papers

titre
An Inertial Newton Algorithm for Deep Learning
auteur
Camille Castera, Jérôme Bolte, Cédric Févotte, Edouard Pauwels
article
Thirty-third Conference on Neural Information Processing Systems : Beyond First Order Methods in ML (NeurIPS Workshop2019), Neural Information Processing Systems Foundation, Dec 2019, Vancouver, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03049921/file/indian_neurips19_workshop.pdf BibTex
titre
Loss functions for denoising compressed images: a comparative study
auteur
Thomas Oberlin, François Malgouyres, Jin-Yi Wu
article
EUSIPCO, Sep 2019, Coruna, Spain
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02952604/file/paper_eusipco.pdf BibTex