Holophrasm: a neural Automated Theorem Prover for higher-order logic
Effective Approaches to Attention-based Neural Machine Translation