Distilling Wikipedia mathematical knowledge into neural network models