Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks

Cheng-Hao Cai, Dengfeng Ke, Yanyan Xu +1

There is a wide gap between symbolic reasoning and deep learning. In this research, we explore the possibility of using deep learning to improve symbolic reasoning. Briefly, in a r…