Problems of Self-reference in Self-improving Space-Time Embedded Intelligence. - Benja Fallenstein; Nate Soares (AGI, 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)

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

Formalizing Convergent Instrumental Goals. - Tsvi Benson-Tilsen; Nate Soares (AAAI Workshop: AI, Ethics, and Society, 2016)

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

Asymptotic Convergence in Online Learning with Unbounded Delays. - Scott Garrabrant; Nate Soares; Jessica Taylor (CoRR, 2016)

Logical Induction. - Scott Garrabrant; Tsvi Benson-Tilsen; Andrew Critch; Nate Soares; Jessica Taylor (Electron. Colloquium Comput. Complex., 2016)

A Formal Approach to the Problem of Logical Non-Omniscience. - Scott Garrabrant; Tsvi Benson-Tilsen; Andrew Critch; Nate Soares; Jessica Taylor (TARK, 2017)

Functional Decision Theory: A New Theory of Instrumental Rationality. - Eliezer Yudkowsky; Nate Soares (CoRR, 2017)