Julien Girard-Satabin
Scholar

Julien Girard-Satabin

Google Scholar ID: erWN5TwAAAAJ
CEA LIST
Formal verificationDeep learningFairness
Google Scholar↗
Citations & Impact
All-time
Citations
50
 
H-index
5
 
i10-index
2
 
Publications
18
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
3 items
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
Resume (English only)
Co-authors
9 total
Zakaria Chihani
Zakaria Chihani
CEA
Marc Schoenauer
Marc Schoenauer
Senior Researcher Emeritus, INRIA
Guillaume Charpiat
Guillaume Charpiat
INRIA (Saclay)
Co-author 4
Co-author 4
Hervé Le Borgne
Hervé Le Borgne
CEA List, France
Celine Hudelot
Celine Hudelot
Professor
Ryo Kurazume
Ryo Kurazume
Professor of Computer Science, Kyushu University
Yumi Iwashita
Yumi Iwashita
NASA Jet Propulsion Laboratory