Can Neural Networks Learn Symbolic Rewriting?

November 07, 2019 Β· Declared Dead Β· πŸ› arXiv.org

πŸ‘» CAUSE OF DEATH: Ghosted
No code link whatsoever

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Bartosz Piotrowski, Josef Urban, Chad E. Brown, Cezary Kaliszyk arXiv ID 1911.04873 Category cs.AI: Artificial Intelligence Cross-listed cs.CL, cs.LG Citations 20 Venue arXiv.org Last Checked 4 months ago
Abstract
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.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

πŸ“œ Similar Papers

In the same crypt β€” Artificial Intelligence

Died the same way β€” πŸ‘» Ghosted