Eric Michaud's repositories
neural-verification
MI and Formal Verification of NNs on Algorithmic tasks!
quantization-model
Cleaned up code for reproducing our paper "The Quantization Model of Neural Scaling"
torch-foresight
🧠:mag: Tools for characterizing and predicting the dynamics of neural nets built with PyTorch
grabby-aliens
Simulations for Robin Hanson's mathematical model of aggressive alien expansion
meerkat-backend-interface
Breakthrough Listen's interface to MeerKAT :telescope: :alien:
the-everything-machine
Experiments for neural scaling on discrete data
8316-final
Final project for 8.316 - data science and physics
ai-experiments
Adventures in AI & ML :robot:
cs182-project
Final project for CS 182 (deep learning)
drops-in-loss
Demos of phase transitions during NN training
learning-from-human-preferences
Reproduction of OpenAI and DeepMind's "Deep Reinforcement Learning from Human Preferences"
mazelab
A customizable framework to create maze and gridworld environments
noisy-learning
Experiments for phase transition in learnability for increasing noise in parameter space of neural networks
omnigrok
Grokking all the things
orbital
High level orbital mechanics package.
quanta-discovery
Exploring "quanta" of LLM capabilities and computational internals
quantum-iit
Code for measuring integrated information in quantum systems (8.371 final project)
rl-baselines3-zoo
A collection of pre-trained RL agents using Stable Baselines3, training and hyperparameter optimization included.
seml
SEML: Slurm Experiment Management Library
visualizing-neural-scaling
Visualizing how neural scaling curves decompose