BTDA: Automatic Solver for Math Word Problems Based On Back-Translation Data Augmentation Mechanism | IEEE Conference Publication | IEEE Xplore