Julien Girard-Satabin

18 papers A* 1A 2B 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Formal Abductive Latent Explanations for Prototype-Based Networks.
AAAI
Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila
2025 A conf
A Dive into Formal Explainable Attributions for Image Classification.
ECAI
Dorin Doncenco, Julien Girard-Satabin, Romain Xu-Darme, Zakaria Chihani
2025 — conf
Evaluating the Confidentiality of Synthetic Clinical Texts Generated by Language Models.
AIME (1)
Foucauld Estignard, Sahar Ghannay, Julien Girard-Satabin, Nicolas Hiebel, Aurélie Névéol
2025 J jnl
Formal Abductive Latent Explanations for Prototype-Based Networks.
CoRR
Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila
2025 — conf
Neural Network Verification is a Programming Language Challenge.
ESOP (1)
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 J jnl
Neural Network Verification is a Programming Language Challenge.
CoRR
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 B conf
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification.
iFM
Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2025 J jnl
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification.
CoRR
Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2024 — conf
CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models.
xAI (Late-breaking Work, Demos, Doctoral Consortium)
Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard-Satabin, Zakaria Chihani
2023 — conf
Contextualised Out-of-Distribution Detection Using Pattern Identification.
SAFECOMP Workshops
Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
2023 J jnl
Contextualised Out-of-Distribution Detection using Pattern Identication.
CoRR
Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
2023 J jnl
Interpretable Out-Of-Distribution Detection Using Pattern Identification.
CoRR
Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani
2022 — conf
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.
AISafety@IJCAI
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
2022 J jnl
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.
CoRR
Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
2021 J jnl
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification.
CoRR
Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer, Guillaume Charpiat, Zakaria Chihani
2021 — —
Verification and validation of Machine Learning techniques. (Vérification et validation de techniques d'apprentissage machine).
Julien Girard-Satabin
2020 A conf
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators.
ECAI
Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
2019 J jnl
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators.
CoRR
Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer