Xie, X.; Zhang, F.; Hu, X.; Ma, L. DeepGemini: Verifying Dependency Fairness for Deep Neural Network. AAAI 2023, 37, 15251-15259.