Julien Girard-Satabin | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Marc Schoenauer
41 publications
Guillaume Charpiat
17 publications
Michele Alberti
16 publications
Zakaria Chihani
4 publications
François Bobot
3 publications
Augustin Lemesle
1 publication
Aymeric Varasse
1 publication

research

∙ 06/07/2022

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness

We present CAISAR, an open-source platform under active development for ...

0 Julien Girard-Satabin, et al. ∙

research

∙ 05/17/2021

DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification

The impressive results of modern neural networks partly come from their ...

0 Julien Girard-Satabin, et al. ∙

research

∙ 11/25/2019

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators

The topic of provable deep neural network robustness has raised consider...

4 Julien Girard-Satabin, et al. ∙