Some experiments with doing NN interpretability in Coq
psilospore/neural-net-coq-interp
Some experiments with doing NN interpretability in Coq
Jupyter NotebookMIT
Some experiments with doing NN interpretability in Coq
Jupyter NotebookMIT
Some experiments with doing NN interpretability in Coq