Xie X, Zhang F, Hu X, Ma L. DeepGemini: Verifying Dependency Fairness for Deep Neural Network. AAAI [Internet]. 2023Jun.26 [cited 2024Nov.21];37(12):15251-9. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26779