Freenet-like GUIDs for implementing xanalogical hypertext. - Tuomas J. Lukka; Benja Fallenstein (Hypertext, 2002)

Storm: using P2P to make the desktop part of the web. - Benja Fallenstein; Tuomas J. Lukka; Hermanni Hyytiälä; Toni Alatalo (Hypertext, 2003)

Problems of Self-reference in Self-improving Space-Time Embedded Intelligence. - Benja Fallenstein; Nate Soares (AGI, 2014)

Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic. - Mihály Bárász; Paul F. Christiano; Benja Fallenstein; Marcello Herreshoff; Patrick LaVictoire; Eliezer Yudkowsky (CoRR, 2014)

Corrigibility. - Nate Soares; Benja Fallenstein; Stuart Armstrong; Eliezer Yudkowsky (AAAI Workshop: AI and Ethics, 2015)

Reflective Variants of Solomonoff Induction and AIXI. - Benja Fallenstein; Nate Soares; Jessica Taylor (AGI, 2015)

Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings. - Nate Soares; Benja Fallenstein (AGI, 2015)

Proof-Producing Reflection for HOL - With an Application to Model Polymorphism. - Benja Fallenstein; Ramana Kumar (ITP, 2015)

Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence. - Benja Fallenstein; Jessica Taylor; Paul F. Christiano (LORI, 2015)

Reflective Oracles: A Foundation for Classical Game Theory. - Benja Fallenstein; Jessica Taylor; Paul F. Christiano (CoRR, 2015)

Toward Idealized Decision Theory. - Nate Soares; Benja Fallenstein (CoRR, 2015)

A Formal Solution to the Grain of Truth Problem. - Jan Leike; Jessica Taylor; Benya Fallenstein (UAI, 2016)

Uniform Coherence. - Scott Garrabrant; Benya Fallenstein; Abram Demski; Nate Soares (CoRR, 2016)