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

Asymptotic Logical Uncertainty and the Benford Test. - Scott Garrabrant; Tsvi Benson-Tilsen; Siddharth Bhaskar; Abram Demski; Joanna Garrabrant; George Koleszarik; Evan Lloyd (AGI, 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)