JasonGross / neural-net-coq-interp

Some experiments with doing NN interpretability in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

JasonGross/neural-net-coq-interp Issues

No issues in this repository yet.