Concolic Testing on Individual Fairness of Neural Network Models
arXiv:2509.06864v2 Announce Type: replace
Abstract: This paper introduces PyFair, a formal framework for evaluating and verifying individual fairness of Deep Neural Networks (DNNs). By adapting the concolic testing tool PyCT, we generate fairness-spec…