Education
Training "Certification of AI systems"
Training • On-site • in English
AI Certification: Formal Verification & Explainability
- 9h00 - Formal verification using the PyRAT tool (Augustin Lemesle, CEA)
- Background and introduction to formal methods (2 hours)
- Practical application to a use case involving collision avoidance between drones (2 hours)
- 13h00 - recess for lunch
- 14h30 - Introduction to explainable AI (Julien Girard-Satabin, CEA)
- Explaining a programme? Definitions and limitations of the exercise (30 mn)
- Post-hoc explanation methods (perturbation and gradient methods) (1h)
- Explanation methods by construction: prototype-based, concept-based and abductive explanation approaches (1h30)
- Practical application using the CaBRNet library
- 18h00 - end of the training day