Deep Network Guided Proof Search