Holophrasm: a neural Automated Theorem Prover for higher-order logic
Understanding the difficulty of training deep feedforward neural networks