Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su. Symbolic manipulation based on deep neural networks and its application to axiom discovery. In 2017 International Joint Conference on Neural Networks, IJCNN 2017, Anchorage, AK, USA, May 14-19, 2017. pages 2136-2143, IEEE, 2017. [doi]
Abstract is missing.