100 citations · 251 across the 21 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
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.GT2016★ 3 cited
Parametric Bounded Löb's Theorem and Robust Cooperation of Bounded Agents
Andrew Critch
Löb's theorem and Gödel's theorems make predictions about the behavior of systems capable of self-reference with unbounded computational resources with which to write and evaluate…