Deep Network Guided Proof Search
Deep Residual Learning for Image Recognition