1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2026★ 1 cited
Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
Hengjie Liu, Zhenya Zhang, Jianjun Zhao
Formal verification of transformers has become increasingly important due to their widespread deployment in safety-critical applications. Compared to classic neural networks, the i…
cs.CL2024
High-Quality Data Augmentation for Low-Resource NMT: Combining a Translation Memory, a GAN Generator, and Filtering
Hengjie Liu, Ruibo Hou, Yves Lepage
Back translation, as a technique for extending a dataset, is widely used by researchers in low-resource language translation tasks. It typically translates from the target to the s…