Contrastive Graph Representations for Logical Formulas Embedding (Extended Abstract) - researchr publication related

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 (Extended Abstract). In 40th IEEE International Conference on Data Engineering, ICDE 2024, Utrecht, The Netherlands, May 13-16, 2024. pages 5717-5718, IEEE, 2024. [doi]

The following publications are possibly variants of this publication:

Contrastive Graph Representations for Logical Formulas EmbeddingQika Lin, Jun Liu 0002, Lingling Zhang, Yudai Pan, Xin Hu, Fangzhi Xu, Hongwei Zeng. tkde, 35(4):3563-3574, April 2023. [doi]

runs on WebDSL