Eric Michaud

grokking-squared. Jupyter Notebook

neural-verification. MI and Formal Verification of NNs on Algorithmic tasks!

feature-geometry. Code for "The Geometry of Concepts: Sparse Autoencoder Feature Structure"

precision-ml. Jupyter Notebook

quantization-model. Cleaned up code for reproducing our paper "The Quantization Model of Neural Scaling"

llm-curve-visualization. Jupyter Notebook

torch-foresight. 🧠:mag: Tools for characterizing and predicting the dynamics of neural nets built with PyTorch

elephant. Augment your memory from the console! :mortar_board: :muscle:

narrow. Turning general models into narrow ones

grabby-aliens. Simulations for Robin Hanson's mathematical model of aggressive alien expansion

feature-circuits-clusters. Python

meerkat-backend-interface. Breakthrough Listen's interface to MeerKAT :telescope: :alien:

feature-manifold-interface. Dashboard for attempting to discover more LLM feature manifolds

structured-sae. Jupyter Notebook

the-everything-machine. Experiments for neural scaling on discrete data

Image_Scanner. A system for scanning images for objects using a multi-layer convolutional neural network.