TY  - RPRT
TI  - Deep Network Guided Proof Search
AU  - Sarah Loos
AU  - Geoffrey Irving
AU  - Christian Szegedy
AU  - Cezary Kaliszyk
PY  - 2017
UR  - https://arxiv.org/abs/1701.06972
ID  - 1701.06972
ER  -