Formalizing the presumption of independence

Paul Christiano, Eric Neyman, Mark Xu

Mathematical proof aims to deliver confident conclusions, but a very similar process of deduction can be used to make uncertain estimates that are open to revision. A key ingredien…