Can Neural Networks Learn Symbolic Rewriting?

Can Neural Networks Learn Symbolic Rewriting?
复制标题

神经网络可以学习符号重写吗？

DOI：
--
复制
发表时间：
2019
期刊：
arXiv.org
影响因子：
--
通讯作者：
C. Kaliszyk
C. Kaliszyk
中科院分区：
--
文献类型：
--
作者：
Bartosz Piotrowski;J. Urban;C. Brown;C. Kaliszyk

文献摘要

被引文献

相似文献

Please try later.
This work investigates if the current neural architectures are adequate for learning symbolic rewriting. Two kinds of data sets are proposed for this research -- one based on automated proofs and the other being a synthetic set of polynomial terms. The experiments with use of the current neural machine translation models are performed and its results are discussed. Ideas for extending this line of research are proposed and its relevance is motivated.