Contrastive Graph Representations for Logical Formulas Embedding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qika Lin, Jun Liu 0002, Lingling Zhang, Yudai Pan, Xin Hu, Fangzhi Xu, Hongwei Zeng. Contrastive Graph Representations for Logical Formulas Embedding. IEEE Trans. Knowl. Data Eng., 35(4):3563-3574, April 2023. [doi]

This author has not been identified. Look up 'Qika Lin' in GoogleThis author has not been identified. Look up 'Jun Liu 0002' in GoogleThis author has not been identified. Look up 'Lingling Zhang' in GoogleThis author has not been identified. Look up 'Yudai Pan' in GoogleThis author has not been identified. Look up 'Xin Hu' in GoogleThis author has not been identified. Look up 'Fangzhi Xu' in GoogleThis author has not been identified. Look up 'Hongwei Zeng' in Google

runs on WebDSL