Xie, Xuan

2 publications

AAAI 2023 DeepGemini: Verifying Dependency Fairness for Deep Neural Network Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma

IJCAI 2022 Neuro-Symbolic Verification of Deep Neural Networks Xuan Xie, Kristian Kersting, Daniel Neider