[math-fun] Deep Learning for Symbolic Mathematics