Quantitative Verification of Fairness in Tree Ensembles

Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura

This work focuses on quantitative verification of fairness in tree ensembles. Unlike traditional verification approaches that merely return a single counterexample when the fairnes…