Fetching the paper…
Reading the bibliography…
Symbolic Mathematical tasks such as integration often require multiple well-defined steps and understanding of sub-tasks to reach a solution.
Adam: A method for stochastic optimization
Diederik P Kingma and Jimmy Ba · 2014
Earlier work this paper cites.
Automated curriculum learning for neural networks
Alex Graves, Marc G Bellemare, Jacob Menick, Rémi Munos, and Koray Kavukcuoglu · 2017
Earlier work this paper cites.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin · 2017
Earlier work this paper cites.
Deep learning for symbolic mathematics
Guillaume Lample and François Charton · 2019
Cited alongside, same era.
Teacher-student curriculum learning
Tambet Matiisen, Avital Oliver, Taco Cohen, and John Schulman · 2019
Cited alongside, same era.
Can neural networks learn symbolic rewriting?, 2019
Bartosz Piotrowski, Josef Urban, Chad E. Brown, and Cezary Kaliszyk · 2019
Cited alongside, same era.
Mastering rate based curriculum learning, 2020
Lucas Willems, Salem Lahlou, and Yoshua Bengio · 2019
Later among the works it cites.
A promising path towards autoformalization and general artificial intelligence
Christian Szegedy · 2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…