Imported from https://github.com/tensorflow/deepmath/tree/master/deepmath/holstep_baselines