Some experiments with doing NN interpretability in Coq
Primary LanguageJupyter NotebookMIT LicenseMIT