DeepGemini-public The supplementary material for AAAI submission of DeepGemini: Verifying Dependency Fairness of Deep Neural Networks.