For deep RL and the future of AI.

PyTorch code for Neural Networks and Deep Learning written by Michael Nielsen

Made for a reading group at the Center for Safe AGI.

Use Superintelligent Tabot Please!

LLM training in simple, raw C/CUDA

AI Verify

Formalizing stochastic doubly-efficient debate