Deep Network Guided Proof Search

   Abstract