43 citations · 141 across the 7 of their papers we have counts for
7 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.…
An Executable Formal Model of the VHDL in Isabelle/HOL
Wilayat Khan, Zhe Hou, David Sanan +3
In the hardware design process, hardware components are usually described in a hardware description language. Most of the hardware description languages, such as Verilog and VHDL,…
Towards Robust Neural Machine Translation
Yong Cheng, Zhaopeng Tu, Fandong Meng +2
Small perturbations in the input can severely distort intermediate representations and thus impact translation quality of neural machine translation (NMT) models. In this paper, we…
Neural Machine Translation with Pivot Languages
Yong Cheng, Yang Liu, Qian Yang +2
While recent neural machine translation approaches have delivered state-of-the-art performance for resource-rich language pairs, they suffer from the data scarcity problem for reso…
Agreement-based Joint Training for Bidirectional Attention-based Neural Machine Translation
Yong Cheng, Shiqi Shen, Zhongjun He +4
The attentional mechanism has proven to be effective in improving end-to-end neural machine translation. However, due to the intricate structural divergence between natural languag…
Minimum Risk Training for Neural Machine Translation
Shiqi Shen, Yong Cheng, Zhongjun He +4
We propose minimum risk training for end-to-end neural machine translation. Unlike conventional maximum likelihood estimation, minimum risk training is capable of optimizing model…
Contrastive Unsupervised Word Alignment with Non-Local Features
Yang Liu, Maosong Sun
Word alignment is an important natural language processing task that indicates the correspondence between natural languages. Recently, unsupervised learning of log-linear models fo…