Deep Network Guided Proof Search
Improving neural networks by preventing co-adaptation of feature detectors