Filter your results
- 3
- 1
- 3
- 1
- 3
- 3
- 1
- 3
- 4
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification27th 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
|
||
|
Certification of embedded systems based on Machine Learning: A survey2021
Preprints, Working Papers, ...
hal-03252906v2
|
||
|
A PAC-Bayes Analysis of Adversarial RobustnessThirty-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 AdversarialeConfé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
|