X. Xie, F. Zhang, X. Hu, and L. Ma, “DeepGemini: Verifying Dependency Fairness for Deep Neural Network”, AAAI, vol. 37, no. 12, pp. 15251–15259, Jun. 2023.