Explainable Global Fairness Verification of Tree-Based Classifiers.
Stefano CalzavaraLorenzo CazzaroClaudio LuccheseFederico MarcuzziPublished in: SaTML (2023)
Keyphrases
- decision trees
- training samples
- feature selection
- support vector
- supervised classification
- linear classifiers
- resource allocation
- ensemble classifier
- global features
- model checking
- machine learning methods
- classification systems
- global information
- classifier ensemble
- formal verification
- multiple classifier systems