GraphMR: Graph Neural Network for Mathematical Reasoning

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.

Graph-to-Sequence Mathematical Reasoning

NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network

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).