Symbolic manipulation based on deep neural networks and its application to axiom discovery - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Chenghao Cai' in GoogleThis author has not been identified. Look up 'Dengfeng Ke' in GoogleThis author has not been identified. Look up 'Yanyan Xu' in GoogleThis author has not been identified. Look up 'Kaile Su' in Google

runs on WebDSL