Julien Girard-Satabin

According to our database, Julien Girard-Satabin authored at least 15 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Formal Abductive Latent Explanations for Prototype-Based Networks.

Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Towards Abductive Latent Explanations.

Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila

Proceedings of TRUST-AI 2025, 2025

Évaluation de la confidentialité des textes cliniques synthétiques générés par des modèles de langue.

Foucauld Estignard, Sahar Ghannay, Julien Girard-Satabin, Nicolas Hiebel, Aurélie Névéol

Proceedings of the Actes des 32ème Conférence sur le Traitement Automatique des Langues Naturelles, 2025

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification.

Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani

Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

Neural Network Verification is a Programming Language Challenge.

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

Proceedings of the Programming Languages and Systems, 2025

A Dive into Formal Explainable Attributions for Image Classification.

Dorin Doncenco, Julien Girard-Satabin, Romain Xu-Darme, Zakaria Chihani

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

Evaluating the Confidentiality of Synthetic Clinical Texts Generated by Language Models.

Foucauld Estignard, Sahar Ghannay, Julien Girard-Satabin, Nicolas Hiebel, Aurélie Névéol

Proceedings of the Artificial Intelligence in Medicine - 23rd International Conference, 2025

2024

CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models.

Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard-Satabin, Zakaria Chihani

Proceedings of the Joint Proceedings of the xAI 2024 Late-breaking Work, 2024

2023

Contextualised Out-of-Distribution Detection using Pattern Identication.

Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani

CoRR, 2023

Interpretable Out-Of-Distribution Detection Using Pattern Identification.

Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani

CoRR, 2023

Contextualised Out-of-Distribution Detection Using Pattern Identification.

Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.

Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

2021

Verification and validation of Machine Learning techniques. (Vérification et validation de techniques d'apprentissage machine).

Julien Girard-Satabin

PhD thesis, 2021

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

Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer, Guillaume Charpiat, Zakaria Chihani

CoRR, 2021

2020

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

Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020