Can Neural Networks Learn Symbolic Rewriting?

v1v2 (latest)

Can Neural Networks Learn Symbolic Rewriting?

7 November 2019

Bartosz Piotrowski

ArXiv (abs)PDF HTML

Papers citing "Can Neural Networks Learn Symbolic Rewriting?"

7 / 7 papers shown

Title
Generating Elementary Integrable Expressions Rashid Barket Matthew England Jurgen Gerhard 11 3 0 27 Jun 2023
MizAR 60 for Mizar 50 Jan Jakubruv Karel Chvalovský Z. Goertzel C. Kaliszyk Mirek Olvsák Bartosz Piotrowski S. Schulz Martin Suda Josef Urban 87 13 0 12 Mar 2023
Alien Coding Thibault Gauthier Miroslav Olsák J. Urban 74 8 0 27 Jan 2023
Simplifying Polylogarithms with Machine Learning Aurélien Dersy M. Schwartz Xiao-Yan Zhang AI4CE 210 16 0 08 Jun 2022
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics Sean Welleck Peter West Jize Cao Yejin Choi 146 31 0 28 Sep 2021
Stateful Premise Selection by Recurrent Neural Networks Bartosz Piotrowski Josef Urban LRM 62 21 0 11 Mar 2020
Mathematical Reasoning in Latent Space Dennis Lee Christian Szegedy M. Rabe Sarah M. Loos Kshitij Bansal 78 34 0 26 Sep 2019