Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

4 Results
authFullName_s : Guillaume Vidot
Image document

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

Guillaume Vidot , Mélanie Ducoffe , Christophe Gabreau , Ileana Ober , Iulian 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⟩
Conference papers hal-03855271v1
Image document

Certification of embedded systems based on Machine Learning: A survey

Guillaume Vidot , Christophe Gabreau , Ileana Ober , Iulian Ober
2021
Preprints, Working Papers, ... hal-03252906v2
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
Conference papers 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
Conference papers hal-03328714v1