First Experiments with Neural Translation of Informal to Formal Mathematics
Sequence to Sequence Learning with Neural Networks