GitHub repository: JasonGross/neural-net-coq-interp
Primary language: Jupyter Notebook
Created: 2023-07-05T00:28:59Z
Description: Some experiments with doing NN interpretability in Coq