Get the latest tech news

Generating Simpson's Paradox with Z3

.← Back to Kevin's homepagePublished: 2024 August 11 I’ve been reading Pearl’s Causal Inference in Statistics, and one of the exercises poses this problem: Baseball batter A has a better batting average than his teammate B. However, someone notices that B has a better batting average than A against both right-handed and left-handed pitchers.

← Back to Kevin's homepage Published: 2024 August 11 Baseball batter A has a better batting average than his teammate B. The Z3 Theorem Prover is a great lil’ tool for solving these sorts of problems. PlayerLeftRightOverallA0.40.1670.235B0.50.1820.230The key to understanding the paradox is that the players did not bat against the same set of pitchers.

Get the Android app