VLDB 2026 Research / reviewers in the wild / expert
Guillaume Vidot
dblp:286/1817
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2024
0000-0002-4367-457XORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Certification of avionic software based on machine learning: the case for formal monotony analysis
Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot |
Int. J. Softw. Tools Technol. Transf. | 5 |
| 2022 | Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification
Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober |
FMICS | 1 |
| 2021 | A PAC-Bayes Analysis of Adversarial RobustnessabstractWe propose the first general PAC-Bayesian generalization bounds for adversarial robustness, that estimate, at test time, how much a model will be invariant to imperceptible perturbations in the input. Instead of deriving a worst-case analysis of the risk of a hypothesis over all the possible perturbations, we leverage the PAC-Bayesian framework to bound the averaged risk on the perturbations for majority votes (over the whole class of hypotheses). Our theoretically founded analysis has the advantage to provide general bounds (i) that are valid for any kind of attacks (i.e., the adversarial attacks), (ii) that are tight thanks to the PAC-Bayesian framework, (iii) that can be directly minimized during the learning phase to obtain a robust model on different attacks at test time. Paul Viallard, Guillaume Vidot, Amaury Habrard, Emilie Morvant |
NeurIPS | 2 |