Skip to content
@machine-intelligence

MIRI

Machine Intelligence Research Institute

Popular repositories Loading

  1. Botworld Botworld Public

    A cellular automaton for studying self-modifying agents which are embedded in their environment

    Haskell 131 9

  2. provability provability Public

    Haskell 41 12

  3. rl-teacher-atari rl-teacher-atari Public archive

    Forked from nottombrown/rl-teacher

    (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.

    Python 29 6

  4. arbital-open-source arbital-open-source Public

    Open source code for Arbital

    JavaScript 15 1

  5. Botworld.HOL Botworld.HOL Public

    An implementation of Botworld in Higher Order Logic

    Standard ML 9

  6. reflective-oracles reflective-oracles Public

    Haskell 7 2

Repositories

Showing 10 of 17 repositories

Top languages

Loading…

Most used topics

Loading…