16 citations · 23 across the 5 of their papers we have counts for
5 papers
An Agile Formal Specification Language Design Based on K Framework
Jianyu Zhang, Long Zhang, Yixuan Wu +1
Formal Methods (FMs) are currently essential for verifying the safety and reliability of software systems. However, the specification writing in formal methods tends to be complex…
SiLLM: Large Language Models for Simultaneous Machine Translation
Shoutao Guo, Shaolei Zhang, Zhengrui Ma +2
Simultaneous Machine Translation (SiMT) generates translations while reading the source sentence, necessitating a policy to determine the optimal timing for reading and generating…
Simultaneous Machine Translation with Tailored Reference
Shoutao Guo, Shaolei Zhang, Yang Feng
Simultaneous machine translation (SiMT) generates translation while reading the whole source sentence. However, existing SiMT models are typically trained using the same reference…
DASpeech: Directed Acyclic Transformer for Fast and High-quality Speech-to-Speech Translation
Qingkai Fang, Yan Zhou, Yang Feng
Direct speech-to-speech translation (S2ST) translates speech from one language into another using a single model. However, due to the presence of linguistic and acoustic diversity,…
Giant and Reversible Electronic Structure Evolution in a Magnetic Topological Material EuCd2As2
Yang Wang, Cong Li, Taimin Miao +25
The electronic structure and the physical properties of quantum materials can be significantly altered by charge carrier doping and magnetic state transition. Here we report a disc…