Nate Soares

Inductive Coherence

2016 · arXiv (Cornell University)

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 expensive to run. Since mathematical logic is a powerful …