29 citations · 30 across the 5 of their papers we have counts for
5 papers
Formalizing UML State Machines for Automated Verification -- A Survey
Étienne André, Shuang Liu, Yang Liu +3
The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs.…
Data-Dependent Stability Analysis of Adversarial Training
Yihan Wang, Shuang Liu, Xiao-Shan Gao
Stability analysis is an essential aspect of studying the generalization ability of deep learning, as it involves deriving generalization bounds for stochastic gradient descent-bas…
A Pilot Study on Dialogue-Level Dependency Parsing for Chinese
Gongyao Jiang, Shuang Liu, Meishan Zhang +1
Dialogue-level dependency parsing has received insufficient attention, especially for Chinese. To this end, we draw on ideas from syntactic dependency and rhetorical structure theo…
A Review on Machine Theory of Mind
Yuanyuan Mao, Shuang Liu, Pengshuai Zhao +3
Theory of Mind (ToM) is the ability to attribute mental states to others, the basis of human cognition. At present, there has been growing interest in the AI with cognitive abiliti…
Achieve Optimal Adversarial Accuracy for Adversarial Deep Learning using Stackelberg Game
Xiao-Shan Gao, Shuang Liu, Lijia Yu
Adversarial deep learning is to train robust DNNs against adversarial attacks, which is one of the major research focuses of deep learning. Game theory has been used to answer some…