Tsvi Benson-Tilsen

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 5

Top Topics

Logical Representation

Statistical Significance

Concept Formation

Constructive Induction

Top Venues

Electron. Colloquium Comput. Complex.

AAAI Workshop: AI, Ethics, and Society

Publications

Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor
A Formal Approach to the Problem of Logical Non-Omniscience. TARK (2017)
Tsvi Benson-Tilsen, Nate Soares
Formalizing Convergent Instrumental Goals. AAAI Workshop: AI, Ethics, and Society (2016)
Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor
Logical Induction. Electron. Colloquium Comput. Complex. 23 (2016)
Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor
Logical Induction. CoRR (2016)
Scott Garrabrant, Tsvi Benson-Tilsen, Siddharth Bhaskar, Abram Demski, Joanna Garrabrant, George Koleszarik, Evan Lloyd
Asymptotic Logical Uncertainty and the Benford Test. AGI (2016)