Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

A PAC-Bayes Analysis of Adversarial Robustness

 Paul Viallard , Guillaume Vidot , Amaury Habrard , Emilie Morvant
Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021), NIPS: Neural Information Processing Systems Foundation, Dec 2021, Virtual-only Conference, Australia
Communication dans un congrès hal-03145332v2

Une Analyse PAC-Bayésienne de la Robustesse Adversariale

 Guillaume Vidot , Paul Viallard , Emilie Morvant
Conférence sur l'Apprentissage automatique (CAp 2021), Equipe Data Intelligence du laboratoire Hubert Curien de Saint-Etienne, Jun 2021, Saint Etienne, France
Communication dans un congrès hal-03328714v1
Image document

Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification

 Guillaume Vidot , Mélanie Ducoffe , Christophe Gabreau , Iulian Ober , Ileana Ober
27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩
Communication dans un congrès hal-03855271v1
Image document

Certification of embedded systems based on Machine Learning: A survey

 Guillaume Vidot , Christophe Gabreau , Ileana Ober , Iulian Ober
2021
Pré-publication, Document de travail hal-03252906v2
Page :