Math Natural Language Inference: this should be easy!

Author

V de Paiva, Q Gao, H Hu, P Kovalev, Y Liu, LS Moss, Z Qian