Automatic Correction of Speech Recognized Mathematical Equations using Encoder-Decoder Attention Model | IEEE Conference Publication | IEEE Xplore