Jason Gross's repositories
coq-scripts
Various useful scripts for dealing with Coq files
neural-net-coq-interp
Some experiments with doing NN interpretability in Coq
JasonGross.github.io
My personal website
tikzplotlib
:bar_chart: Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.
18.705-coq
Some partial work on formalizing concepts from MIT's 18.705 - Commutative Algebra, in Coq
18.904-quillen-model-structures
Class paper for 18.904 - Seminar in Topology
18.905-coq
Some partial work on formalizing concepts from MIT's 18.905 - Algebraic Topology I, in Coq
18.S996-coq
Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq
8.06-decoherence-paper
Paper on decoherence for 8.06 - Quantum Mechanics III
devinterp
Tools for studying developmental interpretability in neural networks.
fiat-crypto
Cryptographic Primitive Code Generation in Fiat
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
neelutils
Random utils for personal use
publications
A .bib file of my publications
sparse_autoencoder
Sparse Autoencoder for Mechanistic Interpretability
TransformerLens
A library for mechanistic interpretability of GPT-style language models