Giters

JasonGross / neural-net-coq-interp

Some experiments with doing NN interpretability in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Some experiments with doing NN interpretability in Coq

License:MIT License

Languages

Language:Jupyter Notebook 93.3%Language:Coq 5.6%Language:Python 1.1%Language:Makefile 0.0%Language:Shell 0.0%