Difference of Proof

Set + Proof + Artifact = Difference

• Given set S of proofs
• And a proof P to be evaluated
• Choose a proof artifact α
• Compute C_sw^α(S+P)

Lower C_sw ≡ Greater Diversity

• P2-P4-P7 = 0.39

• P2-P4-P7 + P4 = 0.55
• P2-P4-P7 + P3 = 0.46
• P2-P4-P7 + P6 = 0.23