Scholar
Julien Girard-Satabin
Google Scholar ID: erWN5TwAAAAJ
CEA LIST
Formal verification
Deep learning
Fairness
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
50
H-index
5
i10-index
2
Publications
18
Co-authors
9
list available
Publications
4 items
Beyond $L_2$: Generalizing Abductive Latent Explanations to Diverse Prototype-Based Architectures
2026
Cited
0
Formal Abductive Latent Explanations for Prototype-Based Networks
2025
Cited
0
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
2025
Cited
0
Neural Network Verification is a Programming Language Challenge
2025
Cited
0
Co-authors
8 total
Zakaria Chihani
CEA
Marc Schoenauer
Senior Researcher Emeritus, INRIA
Guillaume Charpiat
INRIA (Saclay)
Hervé Le Borgne
CEA List, France
Celine Hudelot
Professor
Ryo Kurazume
Professor of Computer Science, Kyushu University
Yumi Iwashita
NASA Jet Propulsion Laboratory
Kazuto Nakashima
Kyushu University
