Talks and media
An introduction to explainable AI
Invited presentation for Concordia’s Hardware Verification Group in 2023, followed by scientific mentoring meetings.
This invited introduction connected explainable AI with the questions of students working in formal verification. Scientific mentoring meetings followed the presentation.
The activity complements research on feature attribution and the examination of model decisions, including the iterative feature-boosting studies.