andres-erbsen/neural-net-coq-interp
Some experiments with doing NN interpretability in Coq
Jupyter NotebookMIT
Watchers
No one’s watching this repository yet.
Some experiments with doing NN interpretability in Coq
Jupyter NotebookMIT
No one’s watching this repository yet.