A Proof System with Causal Labels (Part II): checking Counterfactual Fairness

Leonardo Ceragioli (LUCI Lab, UNIMI, joint work with Giuseppe Primiero)
September 26, 2025, 10:00 – 12:00, Sala Martinetti – Via Festa del Perdono 7 – Milan.

Building on part I, this second paper adapts the TNDPQ framework to address counterfactual fairness in probabilistic classifiers. It establishes structural conditions on causal labels to ensure that classification outcomes remain robust under hypothetical variations of sensitive attributes.