TY - RPRT TI - A Formal Solution to the Grain of Truth Problem AU - Jan Leike AU - Jessica Taylor AU - Benya Fallenstein PY - 2016 UR - https://arxiv.org/abs/1609.05058 ID - 1609.05058 ER -