Measuring Mathematical Problem Solving with the MATH Dataset | AMiner