Mengqi Cheng

According to our database, Mengqi Cheng authored at least 2 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Drug-Target Interaction Prediction Based on Knowledge Graph Embedding and BiLSTM Networks.

Yiwen Zhang, Mengqi Cheng

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2023

2019

Tactics for Proving Separation Logic Assertion in Coq Proof Assistant.

Siran Lei, Mengqi Cheng, Jianguo Jiang

Proceedings of the ICVISP 2019: 3rd International Conference on Vision, 2019