no code implementations • 12 Oct 2015 • Scott Garrabrant, Siddharth Bhaskar, Abram Demski, Joanna Garrabrant, George Koleszarik, Evan Lloyd
We give an algorithm A which assigns probabilities to logical sentences.