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!

AI Verify

A programming language for formal/informal computation.