Symbolic manipulation based on deep neural networks and its application to axiom discovery.

Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su

Browse the full IJCNN paper archive.