Improve Representation for Cross-Language Clone Detection by Pretrain Using Tree Autoencoder. - Huading Ling; Aiping Zhang; Changchun Yin; Dafang Li; Mengyu Chang (Intell. Autom. Soft Comput., 2022)

Programming Equation Systems of Arithmetization-Oriented Primitives with Constraints. - Mengyu Chang; Kexin Qiao; Junjie Cheng; Changhai Ou; Liehuang Zhu (IACR Cryptol. ePrint Arch., 2024)