27 citations · 47 across the 3 of their papers we have counts for
3 papers
Reflective Oracles: A Foundation for Classical Game Theory
Benja Fallenstein, Jessica Taylor, Paul F. Christiano
Classical game theory treats players as special---a description of a game contains a full, explicit enumeration of all players---even though in the real world, "players" are no mor…
Toward Idealized Decision Theory
Nate Soares, Benja Fallenstein
This paper motivates the study of decision theory as necessary for aligning smarter-than-human artificial systems with human interests. We discuss the shortcomings of two standard…
Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic
Mihaly Barasz, Paul Christiano, Benja Fallenstein +3
We consider the one-shot Prisoner's Dilemma between algorithms with read-access to one anothers' source codes, and we use the modal logic of provability to build agents that can ac…