Can Neural Networks Learn Symbolic Rewriting?

Guiding theorem proving by recurrent neural networks

Original

Piotrowski, B. and Urban, J · 1905

Earlier work this paper cites.

Inductive logic programming: Theory and methods

Muggleton, S. and De Raedt, L · 1994

Earlier work this paper cites.

Experimenting with machine learning in automatic theorem proving

Urban, J · 1998

Earlier work this paper cites.

Stateful premise selection by recurrent neural networks

Original

Piotrowski, B. and Urban, J · 2004

Earlier work this paper cites.

Loops with abelian inner mapping groups: An application of automated deduction

Kinyon, M. K., Veroff, R., and Vojtechovský, P · 2013

Earlier work this paper cites.

Developing corpus-based translation methods between informal and formal mathematics: Project description

Kaliszyk, C., Urban, J., Vyskočil, J., and Geuvers, H · 2014

Earlier work this paper cites.

Can neural networks learn symbolic rewriting?

Piotrowski, B., Brown, C., Urban, J., and Kaliszyk, C · 2014

Cited alongside, same era.

Learning to parse on aligned corpora (rough diamond)

Kaliszyk, C., Urban, J., and Vyskočil, J · 2015

Cited alongside, same era.

Automating formalization by statistical and semantic parsing of mathematics

Kaliszyk, C., Urban, J., and Vyskocil, J · 2017

Cited alongside, same era.

Neural machine translation (seq2seq) tutorial

Luong, M., Brevdo, E., and Zhao, R · 2017

Cited alongside, same era.

The TPTP Problem Library and Associated Infrastructure. From CNF to TH0, TPTP v6.4.0

Sutcliffe, G · 2017

Cited alongside, same era.

Attention is all you need

Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A. N., Kaiser, L., and Polosukhin, I · 2017

Cited alongside, same era.

System description: XSL-based translator of Mizar to LaTeX

Bancerek, G., Naumowicz, A., and Urban, J · 2018

Later among the works it cites.

Tree2tree neural translation model for learning source code changes

Original

Chakraborty, S., Allamanis, M., and Ray, B · 2018

Later among the works it cites.

Can neural networks understand logical entailment?

Evans, R., Saxton, D., Amos, D., Kohli, P., and Grefenstette, E · 2018

Later among the works it cites.

Tree2tree learning with memory unit, 2018

Miao, N., Wang, H., Le, R., Tao, C., Shang, M., Yan, R., and Zhao, D · 2018

Later among the works it cites.

First experiments with neural translation of informal to formal mathematics

Wang, Q., Kaliszyk, C., and Urban, J · 2018

Later among the works it cites.

Deep learning for symbolic mathematics

Lample, G. and Charton, F · 2020