Graph Contrastive Pre-training for Effective Theorem Reasoning.
Zhaoyu LiBinghong ChenXujie SiPublished in: CoRR (2021)
Keyphrases
- knowledge base
- graph representation
- supervised learning
- training algorithm
- connected components
- von neumann
- automated reasoning
- graph partitioning
- graph model
- directed acyclic graph
- training process
- bipartite graph
- neural network
- test set
- np complete
- knowledge representation
- training set
- expert systems
- image segmentation
- machine learning