Mengqi Cheng

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 2

Top Topics

Graph Embedding

Classical First Order Logic

Sequent Calculi

Proof Procedure

Top Venues

Publications

Yiwen Zhang, Mengqi Cheng
Drug-Target Interaction Prediction Based on Knowledge Graph Embedding and BiLSTM Networks. ICIC (3) (2023)
Siran Lei, Mengqi Cheng, Jianguo Jiang
Tactics for Proving Separation Logic Assertion in Coq Proof Assistant. ICVISP (2019)