Tactics for Proving Separation Logic Assertion in Coq Proof Assistant. - Siran Lei; Mengqi Cheng; Jianguo Jiang (ICVISP, 2019)

Drug-Target Interaction Prediction Based on Knowledge Graph Embedding and BiLSTM Networks. - Yiwen Zhang; Mengqi Cheng (ICIC (3), 2023)