no code implementations • EMNLP 2021 • Weijie Feng, Binbin Liu, Dongpeng Xu, Qilong Zheng, Yun Xu
Mathematical reasoning aims to infer satisfiable solutions based on the given mathematics questions.
no code implementations • Findings of the Association for Computational Linguistics 2020 • Weijie Feng, Binbin Liu, Dongpeng Xu, Qilong Zheng, Yun Xu
Mixed Boolean-Arithmetic (MBA) expressions involve both arithmetic calculation (e. g., plus, minus, multiply) and bitwise computation (e. g., and, or, negate, xor).