Tsui-Wei Weng

A game-based approximate verification of deep neural networks with provable guarantees

Explainable Artificial Intelligence (XAI): What we know and what is left to attain Trustworthy Artificial Intelligence

Efficient Neural Network Robustness Certification with General Activation Functions