10 citations · 30 across the 6 of their papers we have counts for
Showing 2016 · cs.AIShow all
2 papers · 2 filters
cs.AI2016★ 5 cited
A Formal Solution to the Grain of Truth Problem
Jan Leike, Jessica Taylor, Benya Fallenstein
A Bayesian agent acting in a multi-agent environment learns to predict the other agents' policies if its prior assigns positive probability to them (in other words, its prior conta…
cs.AI2016★ 10 cited
Logical Induction
Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch +2
We present a computable algorithm that assigns probabilities to every logical statement in a given formal language, and refines those probabilities over time. For instance, if the…