15 citations · 29 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019★ 13 cited
Can Neural Networks Learn Symbolic Rewriting?
Bartosz Piotrowski, Josef Urban, Chad E. Brown +1
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 autom…
cs.AI2019
Guiding Inferences in Connection Tableau by Recurrent Neural Networks
Bartosz Piotrowski, Josef Urban
We present a dataset and experiments on applying recurrent neural networks (RNNs) for guiding clause selection in the connection tableau proof calculus. The RNN encodes a sequence…