How to Verify Consistency of Probabilistic Claims
By Orr Paradise · Paper · cs.CC
When a probabilistic predictor answers many conditional-probability queries, are its answers self-consistent, and can this be verified in polynomial time? This problem is of interest for AI safety, where safety is derived from honesty about probabilistic predictions of unwanted o