Xinwen Hu

DeepGemini: Verifying Dependency Fairness for Deep Neural Network

Deep neural networks (DNNs) have been widely adopted in many decision-making industrial applications. Their fairness issues, i.e., whether there exist unintended biases in the DNN, receive much attention and become critical concerns, which can directly cause negative impacts in our daily life and po…