27 citations · 34 across the 2 of their papers we have counts for
1 paper · 1 filter
Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch +2
We present the logical induction criterion for computable algorithms that assign probabilities to every logical statement in a given formal language, and refine those probabilities…