First Experiments with Neural Translation of Informal to Formal Mathematics
Move Evaluation in Go Using Deep Convolutional Neural Networks