Deep Network Guided Proof Search
Reasoning about Entailment with Neural Attention