Premise Selection for Theorem Proving by Deep Graph Embedding.
Mingzhe WangYihe TangJian WangJia DengPublished in: CoRR (2017)
Keyphrases
- theorem proving
- graph embedding
- first order logic
- theorem prover
- inference rules
- parallel search
- term rewriting
- discriminant analysis
- proof procedure
- data representation
- consequence finding
- proof planning
- geometry theorem proving
- dimensionality reduction
- semi supervised
- low dimensional
- graphical models
- feature representation
- geometric properties
- active learning
- training set
- face recognition
- knowledge base
- artificial intelligence