Publications HAL

2024

titre
Straight-Through meets Sparse Recovery: the Support Exploration Algorithm
auteur
Mimoun Mohamed, François Malgouyres, Valentin Emiya, Caroline Chaux
article
ICML 2024, the 41st International Conference on Machine Learning, Jul 2024, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-03964976/file/Main_SEA.pdf BibTex
titre
Diversity-Preserving K-Armed Bandits, Revisited
auteur
Hédi Hadiji, Sébastien Gerchinovitz, Jean-Michel Loubes, Gilles Stoltz
article
Transactions on Machine Learning Research Journal, 2024, July
Accès au texte intégral et bibtex
https://hal.science/hal-02957485/file/GHLS24--Diversity-preserving-HAL.pdf BibTex
titre
Conformal Semantic Image Segmentation: Post-hoc Quantification of Predictive Uncertainty
auteur
Luca Mossina, Joseba Dalmau, Léo Andéol
article
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, Jun 2024, Seattle, United States. pp.3574-3584
Accès au texte intégral et bibtex
https://hal.science/hal-04565173/file/cosis_SAIAD_2024_HAL_version.pdf BibTex
titre
On the Feasibility of EASA Learning Assurance Objectives for Machine Learning Components
auteur
Florence de Grancey, Sébastien Gerchinovitz, Lucian Alecu, Hugues Bonnin, Joseba Dalmau, Kevin Delmas, Franck Mamalet
article
ERTS 2024, Jun 2024, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-04575318/file/ERTS-paper49-published.pdf BibTex
titre
How to design a dataset compliant with an ML-based system ODD?
auteur
Cyril Cappi, Noémie Cohen, Mélanie Ducoffe, Christophe Gabreau, Laurent Gardes, Adrien Gauffriau, Jean-Brice Ginestet, Franck Mamalet, Vincent Mussot, Claire Pagetti, David Vigouroux
article
12th European Congress on Embedded Real Time Software and Systems, Jun 2024, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-04614554/file/main.pdf BibTex
titre
Quantized Approximately Orthogonal Recurrent Neural Networks
auteur
Armand Foucault, Franck Mamalet, François Malgouyres
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04434011/file/qornn_neurips.pdf BibTex
titre
DP-SGD Without Clipping: The Lipschitz Neural Network Way
auteur
Louis Béthune, Thomas Masséna, Thibaut Boissin, Corentin Friedrich, Franck Mamalet, Aurélien Bellet, Mathieu Serrurier, David Vigouroux
article
International Conference on Learning Representations (ICLR), May 2024, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-04130913/file/2305.16202.pdf BibTex
titre
Out-of-Distribution Detection Should Use Conformal Prediction (and Vice-versa?)
auteur
Paul Novello, Joseba Dalmau, Léo Andeol
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04559119/file/2403.11532.pdf BibTex
titre
Geometry-induced Implicit Regularization in Deep ReLU Neural Networks
auteur
Joachim Bona-Pellissier, François Malgouyres, François Bachoc
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04452356/file/depot_HAL.pdf BibTex
titre
Deep Sturm–Liouville: Learnable orthogonal basis functions parameterized by neural networks
auteur
David Vigouroux, Joseba Dalmau, Louis Béthune
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04446268/file/main.pdf BibTex
titre
Differentiating Nonsmooth Solutions to Parametric Monotone Inclusion Problems
auteur
Jérôme Bolte, Edouard Pauwels, Antonio José Silveti-Falls
article
SIAM Journal on Optimization, 2024, 34 (1), 27 p. ⟨10.1137/22M1541630⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03900339/file/main.pdf BibTex

2023

titre
A Holistic Approach to Unifying Automatic Concept Extraction and Concept Importance Estimation
auteur
Thomas Fel, Victor Boutin, Mazda Moayeri, Rémi Cadène, Louis Bethune, Léo Andéol, Mathieu Chalvidal, Thomas Serre
article
Conference on Neural Information Processing Systems (NeurIPS), 2023, Dec 2023, New Orleans (Louisiana), United States
Accès au texte intégral et bibtex
https://hal.science/hal-04391647/file/2306.07304.pdf BibTex
titre
On the explainable properties of 1-Lipschitz Neural Networks: An Optimal Transport Perspective
auteur
Mathieu Serrurier, Franck Mamalet, Thomas Fel, Louis Béthune, Thibaut Boissin
article
Conference on Neural Information Processing Systems (NeurIPS), Neural Information Processing Systems Foundation, Dec 2023, New Orleans (Louisiana), United States
Accès au texte intégral et bibtex
https://hal.science/hal-03693355/file/OTNN_explainability.pdf BibTex
titre
Unlocking Feature Visualization for Deeper Networks with Magnitude Constrained Optimization
auteur
Thomas Fel, Thibaut Boissin, Victor Boutin, Agustin Picard, Paul Novello, Julien Colin, Drew Linsley, Tom Rousseau, Rémi Cadène, Lore Goetschalckx, Laurent Gardes, Thomas Serre
article
Conference on Neural Information Processing Systems (NeurIPS), 2023, Dec 2023, New Orleans (Louisiana), United States
Accès au texte intégral et bibtex
https://hal.science/hal-04391346/file/2306.06805.pdf BibTex
titre
Influenciæ: A library for tracing the influence back to the data-points
auteur
Agustin Martin Picard, Lucas Hervier, Thomas Fel, David Vigouroux
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04284178/file/ms.pdf BibTex
titre
Guidelines to explain machine learning algorithms
auteur
Frédéric Boisnard, Ryma Boumazouza, Mélanie Ducoffe, Thomas Fel, Estèle Glize, Lucas Hervier, Vincent Mussot, Agustin Martin Picard, Antonin Poché, David Vigouroux
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04391691/file/main.pdf BibTex
titre
PUNCC: a Python Library for Predictive Uncertainty Calibration and Conformalization
auteur
Mouhcine Mendil, Luca Mossina, David Vigouroux
article
Conformal and Probabilistic Prediction with Applications, Sep 2023, Limasol, Cyprus
Accès au texte intégral et bibtex
https://hal.science/hal-04560192/file/mendil23a.pdf BibTex
titre
Confident Object Detection via Conformal Prediction and Conformal Risk Control: an Application to Railway Signaling
auteur
Léo Andéol, Thomas Fel, Florence De Grancey, Luca Mossina
article
Conformal and Probabilistic Prediction with Applications, Proceedings of Machine Learning Research, 2023
Accès au texte intégral et bibtex
https://hal.science/hal-04063441/file/main%20%281%29.pdf BibTex
titre
Adaptive approximation of monotone functions
auteur
Pierre Gaillard, Sébastien Gerchinovitz, Étienne de Montbrun
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04203136/file/main.pdf BibTex
titre
Parameter identifiability of a deep feedforward ReLU neural network
auteur
Joachim Bona-Pellissier, François Bachoc, François Malgouyres
article
Machine Learning, 2023, 112, pp.4431-4493. ⟨10.1007/s10994-023-06355-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03501784/file/Parameter_identifiability_of_a_deep_ReLU_NN.pdf BibTex
titre
Certified Multi-Fidelity Zeroth-Order Optimization
auteur
Étienne de Montbrun, Sébastien Gerchinovitz
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04174484/file/main.pdf BibTex
titre
Natural Example-Based Explainability: a Survey
auteur
Antonin Poché, Lucas Hervier, Mohamed-Chafik Bakkay
article
World Conference on eXplainable Artificial Intelligence, Jul 2023, Lisbon, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-04117520/file/Natural_Example_Based_Explainability__a_Survey__preprint.pdf BibTex
titre
Robust One-Class Classification with Signed Distance Function using 1-Lipschitz Neural Networks
auteur
Louis Béthune, Paul Novello, Thibaut Boissin, Guillaume Coiffier, Mathieu Serrurier, Quentin Vincenot, Andres Troya-Galvis
article
40th International Conference on Machine Learning, Jul 2023, Honolulu, Hawaii, United States. pp.2245-2271, ⟨10.5555/3618408.3618504⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03977272/file/bethune23a.pdf BibTex
titre
COCKATIEL: COntinuous Concept ranKed ATtribution with Interpretable ELements for explaining neural net classifiers on NLP tasks
auteur
Fanny Jourdan, Agustin Picard, Thomas Fel, Laurent Risser, Jean-Michel Loubes, Nicholas Asher
article
61st Annual Meeting of the Association for Computational Linguistics (ACL 2023), Jul 2023, Toronto, Canada. pp.5120-5136
Accès au texte intégral et bibtex
https://hal.science/hal-04223218/file/2023.findings-acl.317.pdf BibTex
titre
Conservative parametric optimality and the ridge method for tame min-max problems
auteur
Edouard Pauwels
article
Set-Valued and Variational Analysis, 2023, 31 (19), ⟨10.1007/s11228-023-00682-3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03186676/file/partialMinimization.pdf BibTex
titre
On the complexity of nonsmooth automatic differentiation
auteur
Jérôme Bolte, Ryan Boustany, Edouard Pauwels, Béatrice Pesquet-Popescu
article
International Conference on Learning Representations (ICLR 2023), International Conference on Learning Representations, May 2023, Kigali, Rwanda
Accès au texte intégral et bibtex
https://hal.science/hal-03683640/file/main.pdf BibTex
titre
Gaussian Processes on Distributions based on Regularized Optimal Transport
auteur
François Bachoc, Louis Béthune, Alberto González-Sanz, Jean-Michel Loubes
article
26th International Conference on Artificial Intelligence and Statistics (AISTATS 2023), Apr 2023, Valencia, Spain. ⟨10.48550/arXiv.2210.06574⟩
Accès au bibtex
https://arxiv.org/pdf/2210.06574 BibTex
titre
LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing
auteur
Mélanie Ducoffe, Maxime Carrere, Léo Féliers, Adrien Gauffriau, Vincent Mussot, Claire Pagetti, Thierry Sammour
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04056760/file/main.pdf BibTex
titre
Conformal prediction for trustworthy detection of railway signals
auteur
Léo Andéol, Thomas Fel, Florence De Grancey, Luca Mossina
article
AAAI Spring Symposium 2023: AI Trustworthiness Assessment, Mar 2023, San Francisco, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03946071/file/main.pdf BibTex
titre
Subgradient sampling for nonsmooth nonconvex minimization
auteur
Jérôme Bolte, Tam Le, Edouard Pauwels
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-03579383/file/subgradientSampling.pdf BibTex
titre
On the nature of Bregman functions
auteur
Edouard Pauwels
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-03974132/file/bregmanPolytopeDomain.pdf BibTex
titre
The Iterates of the Frank-Wolfe Algorithm May Not Converge
auteur
Jérôme Bolte, Cyrille W. Combettes, Edouard Pauwels
article
Mathematics of Operations Research, In press, ⟨10.1287/moor.2022.0057⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03579585/file/FWnotConverge.pdf BibTex
titre
The derivatives of Sinkhorn-Knopp converge
auteur
Edouard Pauwels, Samuel Vaiter
article
SIAM Journal on Optimization, 2023, 33 (3), ⟨10.48550/arXiv.2207.12717⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03736905/file/autodiff_sinkhorn.pdf https://hal.science/hal-03736905/file/linconv_sk.pdf https://hal.science/hal-03736905/file/linconv_sk_multiple_eps.pdf BibTex
titre
CRAFT: Concept Recursive Activation FacTorization for Explainability
auteur
Thomas Fel, Agustin Picard, Louis Bethune, Thibaut Boissin, David Vigouroux, Julien Colin, Rémi Cadène, Thomas Serre
article
Proceedings of the IEEE / CVF Computer Vision and Pattern Recognition Conference (CVPR), 2023., 2023, Vancouver, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-04049806/file/craft_arxiv.pdf BibTex

2022

titre
Long term dynamics of the subgradient method for Lipschitz path differentiable functions
auteur
Jérôme Bolte, Edouard Pauwels, Rodolfo Ríos-Zertuche
article
Journal of the European Mathematical Society, 2022, pp.1-28. ⟨10.4171/JEMS/1285⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03614899/file/Oscillation_compensation.pdf BibTex
titre
Look at the Variance! Efficient Black-box Explanations with Sobol-based Sensitivity Analysis
auteur
Thomas Fel, Rémi Cadène, Mathieu Chalvidal, Matthieu Cord, David Vigouroux, Thomas Serre
article
Conference on Neural Information Processing Systems (NeurIPS), Dec 2022, Sydney, Australia
Accès au texte intégral et bibtex
https://hal.science/hal-03473083/file/2020_12_XAI_Sobol__NeurIPS_2021___Copy_.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
Advances in Neural Information Processing Systems, Dec 2022, New-Orleans, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03690079/file/main.pdf BibTex
titre
LOOK WHERE YOU LOOK! SALIENCY-GUIDED Q-NETWORKS FOR VISUAL RL TASKS
auteur
David Bertoin, Adil Zouitine, Mehdi Zouitine, Emmanuel Rachelson
article
Thirty-sixth Conference on Neural Information Processing Systems (NeurIPS 2022), Nov 2022, New Orleans, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03777742/file/SGQN_Hal_Arxiv.pdf BibTex
titre
Automatic differentiation of nonsmooth iterative algorithms
auteur
Jérôme Bolte, Edouard Pauwels, Samuel Vaiter
article
Advances in Neural Information Processing Systems, Nov 2022, New Orleans, United States. 28 p
Accès au texte intégral et bibtex
https://hal.science/hal-03681143/file/nonsmooth_iterative_autodiff.pdf BibTex
titre
Making Sense of Dependence: Efficient Black-box Explanations Using Dependence Measure
auteur
Paul Novello, Thomas Fel, David Vigouroux
article
Advances in Neural Information Processing Systems (NeurIPS), Nov 2022, New Orleans, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03715558/file/Making_Sense_of_Dependence__Efficient_Black_box_Explanations_Using_Dependence_Measure__1_%20%281%29.pdf BibTex
titre
Local Identifiability of Deep ReLU Neural Networks: the Theory
auteur
Joachim Bona-Pellissier, François Malgouyres, François Bachoc
article
Advances in Neural Information Processing Systems, Nov 2022, New Orleans, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03687395/file/Local%20Identifiability%20of%20Deep%20ReLU%20Neural%20Networks%20the%20Theory%20%281%29.pdf BibTex
titre
Disentanglement by Cyclic Reconstruction
auteur
David Bertoin, Emmanuel Rachelson
article
IEEE Transactions on Neural Networks and Learning Systems, 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03501330/file/DiCyR_Hal.pdf BibTex
titre
Path differentiability of ODE flows
auteur
Swann Marx, Edouard Pauwels
article
Journal of Differential Equations, 2022, ⟨10.1016/j.jde.2022.07.038⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03516638/file/pathDiffFlow.pdf BibTex
titre
Pay attention to your loss: understanding misconceptions about 1-Lipschitz neural networks
auteur
Louis Béthune, Thibaut Boissin, Mathieu Serrurier, Franck Mamalet, Corentin Friedrich, Alberto González-Sanz
article
Advances in Neural Information Processing Systems, Nov 2022, New Orleans, United States. ⟨10.48550/arXiv.2104.05097⟩
Accès au bibtex
https://arxiv.org/pdf/2104.05097 BibTex
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.science/hal-03769683/file/waise-conformalobjectdetection-submitted.pdf BibTex
titre
Autonomous drone interception with Deep Reinforcement Learning
auteur
David Bertoin, Adrien Gauffriau, Damien Grasset, Jayant Sen Gupta
article
12th International Workshop on Agents in Traffic and Transportation (ATT 2022) in conjunction with IJCAI-ECAI 2022, Jul 2022, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-03930080/file/ACAS.pdf BibTex
titre
Toward the certification of safety-related systems using ML techniques: the ACAS-Xu experience
auteur
Christophe Gabreau, Adrien Gauffriau, Florence De Grancey, Jean-Brice Ginestet, Claire Pagetti
article
11th European Congress on Embedded Real Time Software and Systems (ERTS 2022), Jun 2022, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-03761946/file/ACAS_Xu_Assurance_Case.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.science/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.science/hal-03765471/file/ERTS2022_paper_39.pdf BibTex
titre
Xplique: A Deep Learning Explainability Toolbox
auteur
Thomas Fel, Lucas Hervier, David Vigouroux, Antonin Poche, Justin Plakoo, Remi Cadene, Mathieu Chalvidal, Julien Colin, Thibaut Boissin, Louis Bethune, Agustin Picard, Claire Nicodeme, Laurent Gardes, Gregory Flandin, Thomas Serre
article
The Conference on Computer Vision and Pattern Recognition, Workshop: Explainable Artificial Intelligence for Computer Vision (XAI4CV), Jun 2022, Nouvelle-Orléans, United States
Accès au bibtex
https://arxiv.org/pdf/2206.04394 BibTex
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, 2022, ⟨10.1007/s11228-022-00640-5⟩
Accès au bibtex
BibTex
titre
Tackling Algorithmic Bias in Neural-Network Classifiers using Wasserstein-2 Regularization
auteur
Laurent Risser, Alberto González-Sanz, Quentin Vincenot, Jean-Michel Loubes
article
Journal of Mathematical Imaging and Vision, 2022
Accès au bibtex
BibTex
titre
Local Feature Swapping for Generalization in Reinforcement Learning
auteur
David Bertoin, Emmanuel Rachelson
article
The Tenth International Conference on Learning Representations 2022, Apr 2022, Virtual, France
Accès au texte intégral et bibtex
https://hal.science/hal-03632784/file/ICLR_CLOP-1.pdf BibTex
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
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.science/hal-03299887/file/main.pdf BibTex
titre
GAN Estimation of Lipschitz Optimal Transport Maps
auteur
Alberto González-Sanz, Lucas de Lara, Louis Béthune, Jean-Michel Loubes
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03575178/file/text.pdf 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, 2022, pp.1--26. ⟨10.1007/s11063-021-10705-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03161775/file/2103.03570v2.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.science/hal-02930949/file/main.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, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩
Accès au bibtex
https://arxiv.org/pdf/2101.05167 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, 2022, 26, pp.171-207. ⟨10.1051/ps/2022003⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03593329/file/ps210028.pdf BibTex
titre
Existence, Stability and Scalability of Orthogonal Convolutional Neural Networks
auteur
El Mehdi Achour, François Malgouyres, Franck Mamalet
article
Journal of Machine Learning Research, 2022, 23 (347), pp.1--56
Accès au texte intégral et bibtex
https://hal.science/hal-03315801/file/main.pdf BibTex

2021

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.science/hal-03251332/file/implicitNonsmooth.pdf BibTex
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
What I Cannot Predict, I Do Not Understand: A Human-Centered Evaluation Framework for Explainability Methods
auteur
Thomas Fel, Julien Colin, Rémi Cadène, Thomas Serre
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03473101/file/MetaPredictor.pdf BibTex
titre
Instance-Dependent Bounds for Zeroth-order Lipschitz Optimization with Error Certificates
auteur
François Bachoc, Tommaso R Cesari, Sébastien Gerchinovitz
article
NeurIPS 2021, Dec 2021, Virtual conference, France. 24 p
Accès au texte intégral et bibtex
https://hal.science/hal-03129721/file/main.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. ⟨10.5555/3540261.3540297⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03265059/file/Impact_of_ReLU_prime.pdf BibTex
titre
Semi-algebraic approximation using Christoffel-Darboux kernel
auteur
Swann Marx, Edouard Pauwels, Tillmann Weisser, Didier Henrion, Jean B Lasserre
article
Constructive Approximation, 2021, 54 (3), pp.391-429. ⟨10.1007/s00365-021-09535-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02085835/file/main_final.pdf BibTex
titre
Curiosities and counterexamples in smooth convex optimization
auteur
Jerome Bolte, Edouard Pauwels
article
Mathematical Programming, 2021, ⟨10.1007/s10107-021-01707-1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02447733/file/convexFreaks.pdf BibTex
titre
Ensuring Dataset Quality for Machine Learning Certification
auteur
Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefevre, Thomas Soumarmon
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03355371/file/2011.01799.pdf BibTex
titre
Towards Certification of a Reduced Footprint ACAS-Xu System: a Hybrid ML-based Solution
auteur
Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière
article
Computer Safety, Reliability, and Security 40th International Conference, SAFECOMP 2021,, pp.34-48, 2021, 978-3-030-83903-1. ⟨10.1007/978-3-030-83903-1_3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03355299/file/main.pdf BibTex
titre
Incremental Without Replacement Sampling in Nonconvex Optimization
auteur
Edouard Pauwels
article
Journal of Optimization Theory and Applications, 2021, ⟨10.1007/s10957-021-01883-2⟩
Accès au texte intégral et bibtex
https://hal.science/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, 2021, 49 (4), pp.452-458. ⟨10.1016/j.orl.2021.04.011⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03614892/file/S0167637721000651.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. ⟨10.1109/CVPR46437.2021.00057⟩
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, ⟨10.48550/arXiv.2010.13405⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02976018/file/main.pdf BibTex
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.science/hal-03176080/file/White_Paper_Machine_Learning_in_Certified_System_DEEL_project_v2.0.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.science/hal-03118707/file/safelearning.pdf BibTex
titre
Detection of Representative Variables in Complex Systems with Interpretable Rules Using Core-Clusters
auteur
Camille Champion, Anne-Claire Brunet, Rémy Burcelin, Jean-Michel Loubes, Laurent Risser
article
Algorithms, 2021, 14 (2), pp.66. ⟨10.3390/a14020066⟩
Accès au bibtex
BibTex
titre
Data analysis from empirical moments and the Christoffel function
auteur
Edouard Pauwels, Mihai Putinar, Jean-Bernard Lasserre
article
Foundations of Computational Mathematics, 2021, 21, pp.243--273. ⟨10.1007/s10208-020-09451-2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01845137/file/christoffelSingular.pdf BibTex
titre
A Consistent Extension of Discrete Optimal Transport Maps for Machine Learning Applications
auteur
Lucas de Lara, Alberto González-Sanz, Jean-Michel Loubes
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03142788/file/OTextension.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, 2021, 22 (134)
Accès au texte intégral et bibtex
https://hal.science/hal-02140748/file/arxiv.pdf BibTex
titre
A survey of bias in Machine Learning through the prism of Statistical Parity for the Adult Data Set
auteur
Philippe Besse, Eustasio del Barrio, Paula Gordaliza, Jean-Michel Loubes, Laurent Risser
article
The American Statistician, In press, ⟨10.1080/00031305.2021.1952897⟩
Accès au bibtex
https://arxiv.org/pdf/2003.14263 BibTex

2020

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, 2020, 7, pp.015014. ⟨10.1088/2057-1976/abce16⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03234347/file/Grossiord_2021_Biomed._Phys._Eng._Express_7_015014.pdf BibTex
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.science/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
optimalFlow : Optimal-transport approach to flow cytometry gating and population matching
auteur
Eustasio del Barrio, Hristo Inouzhe, Jean-Michel Loubes, Carlos Matrán, Agustín Mayo-Íscar
article
BMC Bioinformatics, 2020, ⟨10.1186/s12859-020-03795-w⟩
Accès au bibtex
https://arxiv.org/pdf/1907.08006 BibTex
titre
Minimax optimal goodness-of-fit testing for densities under a local differential privacy constraint
auteur
Joseph Lam-Weil, Béatrice Laurent, Jean-Michel Loubes
article
2020
Accès au bibtex
https://arxiv.org/pdf/2002.04254 BibTex
titre
Review of Mathematical frameworks for Fairness in Machine Learning
auteur
Eustasio del Barrio, Paula Gordaliza, Jean-Michel Loubes
article
2020
Accès au bibtex
https://arxiv.org/pdf/2005.13755 BibTex
titre
Multiple Testing for Outlier Detection in Space Telemetries
auteur
Clementine Barreyre, Béatrice Laurent, Jean-Michel Loubes, Loic Boussouf, Bertrand Cabon
article
IEEE Transactions on Big Data, 2020, 6 (3), pp.443-451. ⟨10.1109/TBDATA.2019.2954831⟩
Accès au bibtex
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.science/hal-02900875/file/ridgeMethod.pdf 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.science/hal-01526083/file/sparse_net.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, 2020, 188 (19-51), ⟨10.1007/s10107-020-01501-5⟩
Accès au bibtex
https://arxiv.org/pdf/1909.10300 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
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.science/hal-02466084/file/main.pdf 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, 2020, 62 (6-7), pp.961-981. ⟨10.1007/s10851-019-00938-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02125044/file/cosegmentation.pdf BibTex
titre
Gaussian field on the symmetric group: Prediction and learning
auteur
François Bachoc, Baptiste Broto, Fabrice Gamboa, Jean-Michel Loubes
article
Electronic Journal of Statistics , 2020, 14, pp.503-546. ⟨10.1214/19-EJS1674⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01731251/file/permutations_final.pdf BibTex

2019

titre
A central limit theorem for Lp transportation cost on the real line with application to fairness assessment in machine learning
auteur
Eustasio del Barrio, Paula Gordaliza, Jean-Michel Loubes
article
Information and Inference, 2019, 8 (4), pp.817-849. ⟨10.1093/imaiai/iaz016⟩
Accès au bibtex
BibTex
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.science/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.science/hal-02952604/file/paper_eusipco.pdf BibTex
titre
Learning a Gaussian Process Model on the Riemannian Manifold of Non-decreasing Distribution Functions
auteur
Chafik Samir, Jean-Michel Loubes, Anne-Françoise Yao, François Bachoc
article
16th Pacific Rim International Conference on Artificial Intelligence, Aug 2019, Cuvu, Fiji. ⟨10.1007/978-3-030-29911-8_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02276949/file/Chafik_et_al.pdf BibTex
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, 2019, 1 (3), pp.446-475
Accès au texte intégral et bibtex
https://hal.science/hal-01494267/file/interpretable.pdf BibTex
titre
Obtaining fairness using optimal transport theory
auteur
Eustasio del Barrio, Fabrice Gamboa, Paula Gordaliza, Jean-Michel Loubes
article
International Conference on Machine Learning, Jun 2019, Los Angeles, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01806912/file/OTFair_Final.pdf BibTex
titre
Conditional Anomaly Detection for Quality and Productivity Improvement of Electronics Manufacturing Systems
auteur
Eva Jabbar, Philippe Besse, Jean-Michel Loubes, Christophe Merle
article
LOD 2019, pp.711-724, In press, ⟨10.1007/978-3-030-37599-7_59⟩
Accès au bibtex
BibTex
titre
Central Limit Theorem and bootstrap procedure for Wasserstein's variations with application to structural relationships between distributions
auteur
Eustasio del Barrio, Paula Gordaliza, Hélène Lescornel, Jean-Michel Loubes
article
Journal of Multivariate Analysis, 2019, 169, pp.341-362. ⟨10.1016/j.jmva.2018.09.014⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01269785/file/NewCLTBootstrapWasserteinDeformation.pdf BibTex