Premise Selection for Theorem Proving by Deep Graph Embedding.
Mingzhe WangYihe TangJian WangJia DengPublished in: NIPS (2017)
Keyphrases
- theorem proving
- graph embedding
- theorem prover
- first order logic
- inference rules
- discriminant analysis
- term rewriting
- low dimensional
- proof planning
- data representation
- parallel search
- semi supervised
- dimensionality reduction
- proof procedure
- geometry theorem proving
- consequence finding
- dictionary learning
- proof search
- pattern recognition
- image processing
- probability distribution
- feature selection