Skip to content
Snippets Groups Projects
Select Git revision
  • formalverif_tp
  • master default protected
  • xai_tp
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.09Feb852131Jan262316Feb1514137320Janfinal fixesxai_tpxai_tpfinal fixesCleaned branch formal verifformalverif_tpformalverif_tpclean branch xai_tpSmall presentation fixMostly final version of the materialmastermasterMostly final version of the TPMerge branch 'fixup' into 'master'Added ProtoTree limitationsAdded ProtoTree hyperparameter tuningFix post-merge messFix post-merge messMerge branch 'xai_tutorial_fixes' into 'master'Fix file path and display issue when computing CaBRNet accuracyAdd n_steps for Integrated Gradient. Fix target for Captum attributionsFix small error when computing accuracyAdd denormalize function in notebook.Add imports to notebookPoint to more recent CaBRNet repo version that fixes loading issues. See https://git.frama-c.com/pub/cabrnet/-/commit/fe22294da67613e12cee9b83889ae5726125f58dMinor material modificationsFixed some config editionBasic yaml file editingFinalized the post-hoc explanation partActual md5sum checkAdded proper setup and launch scriptsAdded TODO and added display utilitiesSimplified presentationAdded preliminary figure and ProtoTree evaluationInitial commitAlmost final versionFirst draft.Introduction mostly doneMore figures, notationsExpanded methods, started to add figuresMore material and started to add figuresListe de méthodesSkeleton for interpretabilityReorganized folderCourse I will be giving at SETI master