Xuan Xie

2 papers · 2022–2023 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (13)

Conferences

AAAI (1) IJCAI (1)

Top co-authors

Xinwen Hu (1) Lei Ma (1) Kristian Kersting (1) Daniel Neider (1) Fuyuan Zhang (1)

Keywords

adversarial robustness (1) formal methods (1) formal verification (1) deep neural network (1) autonomous vehicle (1) logical specification (1) fairness verification (1) neural network (1) fairness certification (1) discriminatory sample (1)

Papers

DeepGemini: Verifying Dependency Fairness for Deep Neural Network AAAI 2023

Neuro-Symbolic Verification of Deep Neural Networks IJCAI 2022