SearcharxivSearch

arXiv subjects

Changrong Zhang

Publications and source records attributed to Changrong Zhang.

2 recordsLinked to original sources

Testing Untestable Neural Machine Translation: An Industrial Case

Neural Machine Translation (NMT) has been widely adopted recently due to its advantages compared with the traditional Statistical Machine Translation (SMT). However, an NMT system still often produces translation failures due to the complexity of natural language and sophistication in designing neural networks. While in-house black-box system testing based on reference translations (i.e., examples of valid translations) has been a common practice for NMT quality assurance, an increasingly critical industrial practice, named in-vivo testing, exposes unseen types or instances of translation failures when real users are using a deployed industrial NMT system. To fill the gap of lacking test oracle for in-vivo testing of an NMT system, in this paper, we propose a new approach for automatically identifying translation failures, without requiring reference translations for a translation task; our approach can directly serve as a test oracle for in-vivo testing. Our approach focuses on properties of natural language translation that can be checked systematically and uses information from both the test inputs (i.e., the texts to be translated) and the test outputs (i.e., the translations under inspection) of the NMT system. Our evaluation conducted on real-world datasets shows that our approach can effectively detect targeted property violations as translation failures. Our experiences on deploying our approach in both production and development environments of WeChat (a messenger app with over one billion monthly active users) demonstrate high effectiveness of our approach along with high industry impact.

cs.CL

Homogenization: in Mathematics or Physics?

Homogenization appeared more than 100 years ago. It is an approach to study the macro-behavior of a medium by its micro-properties. In mathematics, homogenization theory considers the limitations of the sequences of the problems and its solutions when a parameter tends to zero. This parameter is regarded as the ratio of the characteristic size in the micro scale to that in the macro scale. So what is considered is a sequence of problems in a fixed domain while the characteristic size in micro scale tends to zero. But for the real situations in physics or engineering, the micro scale of a medium is fixed and can not be changed. In the process of homogenization, it is the size in macro scale which becomes larger and larger and tends to infinity. We observe that the homogenization in physics is not equivalent to the homogenization in mathematics up to some simple rescaling. With some direct error estimates, we explain in what means we can accept the homogenized problem as the limitation of the original real physical problems. As a byproduct, we present some results on the mathematical homogenization of some problems with source term being only weakly compacted in $H^{-1}$, while in standard homogenization theory, the source term is assumed to be at least compacted in $H^{-1}$. A real example is also given to show the validation of our observation and results.

math-ph