TY - RPRT TI - Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic AU - Mihaly Barasz AU - Paul Christiano AU - Benja Fallenstein AU - Marcello Herreshoff AU - Patrick LaVictoire AU - Eliezer Yudkowsky PY - 2021 UR - https://arxiv.org/abs/1401.5577 ID - 1401.5577 ER -