# Contrastive Graph Representations for Logical Formulas Embedding

> Research article (IEEE Transactions on Knowledge and Data Engineering, 2021) · cited 20× · AI/ML

**Wikidata**: [openalex:W4205489629](https://www.wikidata.org/wiki/openalex:W4205489629)  
**Source**: https://4ort.xyz/entity/contrastive-graph-representations-for-logical-formulas-embedding