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]
@article{LinLZPHXZ23,
title = {Contrastive Graph Representations for Logical Formulas Embedding},
author = {Qika Lin and Jun Liu 0002 and Lingling Zhang and Yudai Pan and Xin Hu and Fangzhi Xu and Hongwei Zeng},
year = {2023},
month = {April},
doi = {10.1109/TKDE.2021.3139333},
url = {https://doi.org/10.1109/TKDE.2021.3139333},
researchr = {https://researchr.org/publication/LinLZPHXZ23},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {35},
number = {4},
pages = {3563-3574},
}