27 citations · 74 across the 7 of their papers we have counts for
Showing 2016 · cs.AIShow all
2 papers · 2 filters
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…
cs.AI2016★ 1 cited
Inductive Coherence
Scott Garrabrant, Benya Fallenstein, Abram Demski +1
While probability theory is normally applied to external environments, there has been some recent interest in probabilistic modeling of the outputs of computations that are too exp…