neural-net-coq-interp

Some experiments with doing NN interpretability in Coq

Name		Name	Last commit message	Last commit date
Latest commit History 447 Commits
.github		.github
etc		etc
theories		theories
training		training
writeups		writeups
.gitignore		.gitignore
.gitmodules		.gitmodules
.mailmap		.mailmap
LICENSE		LICENSE
Makefile		Makefile
Makefile.coq.local		Makefile.coq.local
October_2023_Monthly_Algorithmic_Challenge_Sorted_List_Rajashree_and_Jason.ipynb		October_2023_Monthly_Algorithmic_Challenge_Sorted_List_Rajashree_and_Jason.ipynb
October_2023_Monthly_Algorithmic_Challenge_Sorted_List_Rajashree_and_Jason.py		October_2023_Monthly_Algorithmic_Challenge_Sorted_List_Rajashree_and_Jason.py
Prototyping Fully Formal Interpretability Arguments on Transformers.ipynb		Prototyping Fully Formal Interpretability Arguments on Transformers.ipynb
README.md		README.md
_CoqProject		_CoqProject
coq-neural-net-interp-computed.opam		coq-neural-net-interp-computed.opam
coq-neural-net-interp.opam		coq-neural-net-interp.opam

Provide feedback