Pinned Repositories
arbital-open-source
Open source code for Arbital
Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
Botworld.HOL
An implementation of Botworld in Higher Order Logic
provability
Rainbow
Rainbow: Combining Improvements in Deep Reinforcement Learning
reflective-oracles
research-forum
rl-teacher-atari
(This repository is no longer being maintained.) Code for Deep RL from Human Preferences [Christiano et al]. Plus a webapp for efficiently collecting human feedback.
tt-provability
Systems for doing provability logic in type theory
yudkowsky.net
Backup of yudkowsky.net
MIRI's Repositories
machine-intelligence/Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
machine-intelligence/provability
machine-intelligence/rl-teacher-atari
(This repository is no longer being maintained.) Code for Deep RL from Human Preferences [Christiano et al]. Plus a webapp for efficiently collecting human feedback.
machine-intelligence/arbital-open-source
Open source code for Arbital
machine-intelligence/Botworld.HOL
An implementation of Botworld in Higher Order Logic
machine-intelligence/reflective-oracles
machine-intelligence/research-forum
machine-intelligence/Rainbow
Rainbow: Combining Improvements in Deep Reinforcement Learning
machine-intelligence/tt-provability
Systems for doing provability logic in type theory
machine-intelligence/intelligenceexplosion.com
Backup of intelligenceexplosion.com
machine-intelligence/predictionbook
Find out just how sure you should be, and get better at being only as sure as the facts justify.
machine-intelligence/yudkowsky.net
Backup of yudkowsky.net
machine-intelligence/baselines
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
machine-intelligence/free
free monads
machine-intelligence/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
machine-intelligence/transformer
A TensorFlow Implementation of the Transformer: Attention Is All You Need