Julien Girard-Satabin

Latest

• Formal verification of symbolic and connectionist AI: a way toward higher quality software
• Post-Hoc and By-design explanation methods
• Contextualised Out-of-Distribution Detection using Pattern Identification
• Interprétabilité des réseaux de neurones
• Caractériser des propriétés de confiance d’IA avec Why3
• CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
• Frailties of AI - Paris Saclay AI Master
• Vérification et Validation de Techniques d'apprentissage machine
• Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones
• Theory and Practice of Formal Verification of Machine Learning
• CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
• Learning Finer-class Networks for Universal Representations