TY  - RPRT
TI  - Premise Selection for Theorem Proving by Deep Graph Embedding
AU  - Mingzhe Wang
AU  - Yihe Tang
AU  - Jian Wang
AU  - Jia Deng
PY  - 2017
UR  - https://arxiv.org/abs/1709.09994
ID  - 1709.09994
ER  -