A first journey in the land of AI explainity

I’ve followed these two TPs as a part of a course in Centralesupelec. The first TP can be found here and is about verifying deep neural networks while checking intervals and then with zoonotopes. The second TP goes deeper in techniques that tries to read informations from neural networks in a human way.

I