Some experiments with doing NN interpretability in Coq
andres-erbsen/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