[2L6-OS-19b] OS-19

[2L6-OS-19b-04] Toward Individual Fairness Testing for XGBoost Classifier through Formal Verification

〇Zhenjiang Zhao¹, Takahisa Toda¹, Takashi Kitamura² (1. The University of Electro-Communications, 2. National Institute of Advanced Industrial Science and Technology)

Keywords:Machine Learning, Fairness testing, Formal verification

There are growing concerns regarding the fairness of Machine Learning (ML) algorithms. Individual fairness testing is introduced to address the fairness concerns, and it aims to detect discriminatory instances which exhibit unfairness in a given classifier from its input space. XGBoost is one of the most prominent ML algorithms in recent years. In this study, we propose an individual fairness testing method for XGBoost classifier, leveraging the formal verification technique. To evaluate our method, we build XGBoost classifiers on three real-world datasets, and conduct individual fairness testing against them. Through the evaluation, we observe that our method can correctly detect discriminatory instances in XGBoost classifiers within an acceptable running time. Among all testing tasks, the longest running time for detecting 100 discriminatory instances is 2656.4 seconds.