Conference paper Open Access

Can Neural Networks Learn Symbolic Rewriting?

Piotrowski, Bartosz; Urban, Josef; Brown, Chad; Kaliszyk, Cezary

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.

Files (144.5 kB)
Name Size
40.pdf
md5:9e1de3839cfb3618ec079ee2e24ff795
144.5 kB Download
20
20
views
downloads
All versions This version
Views 2020
Downloads 2020
Data volume 2.9 MB2.9 MB
Unique views 1919
Unique downloads 1818

Share

Cite as