Fetching the paper…
Reading the bibliography…
Neural networks have a reputation for being better at solving statistical or approximate problems than at performing calculations or working with symbolic data.
The solution of the problem of integration in finite terms
Robert H. Risch · 1970
Earlier work this paper cites.
Macsyma - the fifth year
Joel Moses · 1974
Earlier work this paper cites.
Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Vol. 1: Foundations
David E. Rumelhart, James L. McClelland, and CORPORATE PDP Research Group (eds.) · 1986
Earlier work this paper cites.
Singularity analysis of generating functions
Philippe Flajolet and Andrew M. Odlyzko · 1990
Earlier work this paper cites.
Algorithms for Computer Algebra
Keith O. Geddes, Stephen R. Czapor, and George Labahn · 1992
Earlier work this paper cites.
The encyclopedia of integer sequences, 1996
N. J. A. Sloane · 1996
Earlier work this paper cites.
Long short-term memory
Sepp Hochreiter and Jürgen Schmidhuber · 1997
Earlier work this paper cites.
The Art of Computer Programming, Volume 1 (3rd Ed.): Fundamental Algorithms
Donald E. Knuth · 1997
Earlier work this paper cites.
Bleu: a method for automatic evaluation of machine translation
Kishore Papineni, Salim Roukos, Todd Ward, and Wei-Jing Zhu · 2002
Earlier work this paper cites.
Pharaoh: a beam search decoder for phrase-based statistical machine translation models
Philipp Koehn · 2004
Earlier work this paper cites.
Symbolic Integration I: Transcendental Functions
M. Bronstein · 2005
Earlier work this paper cites.
generatingfunctionology: Third Edition
H.S. Wilf · 2005
Earlier work this paper cites.
Analytic Combinatorics
Philippe Flajolet and Robert Sedgewick · 2009
Cited alongside, same era.
Enumerative Combinatorics: Volume 1
Richard P. Stanley · 2011
Cited alongside, same era.
Modern Computer Algebra
Joachim von zur Gathen and Jurgen Gerhard · 2013
Cited alongside, same era.
Adam: A method for stochastic optimization
Diederik Kingma and Jimmy Ba · 2014
Cited alongside, same era.
Sequence to sequence learning with neural networks
Ilya Sutskever, Oriol Vinyals, and Quoc V Le · 2014
Cited alongside, same era.
Wojciech Zaremba and Ilya Sutskever · 2014
Cited alongside, same era.
Learning continuous semantic representations of symbolic expressions
Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli, and Charles Sutton · 2017
Later among the works it cites.
Learning to parse and translate improves neural machine translation
Akiko Eriguchi, Yoshimasa Tsuruoka, and Kyunghyun Cho · 2017
Later among the works it cites.
Improving the neural gpu architecture for algorithm learning
Karlis Freivalds and Renars Liepins · 2017
Later among the works it cites.
Deep network guided proof search
Sarah Loos, Geoffrey Irving, Christian Szegedy, and Cezary Kaliszyk · 2017
Later among the works it cites.
Sympy: symbolic computing in python
Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B. Kirpichev, Matthew Rocklin, AMiT Kumar, Sergiu Ivanov, Jason K. Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian E. Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J. Curry, Andy R. Terrel, Štěpán Roučka, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman, and Anthony Scopatz · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Learning to discover efficient mathematical identities
Wojciech Zaremba, Karol Kurach, and Rob Fergus · 2014
Cited alongside, same era.
Neural machine translation by jointly learning to align and translate
D. Bahdanau, K. Cho, and Y. Bengio · 2015
Cited alongside, same era.
Lukasz Kaiser and Ilya Sutskever · 2015
Cited alongside, same era.
Improved semantic representations from tree-structured long short-term memory networks
Kai Sheng Tai, Richard Socher, and Christopher D Manning · 2015
Cited alongside, same era.
Grammar as a foreign language
Oriol Vinyals, Łukasz Kaiser, Terry Koo, Slav Petrov, Ilya Sutskever, and Geoffrey Hinton · 2015
Cited alongside, same era.
Recurrent neural network grammars
Chris Dyer, Adhiguna Kuncoro, Miguel Ballesteros, and Noah A Smith · 2016
Cited alongside, same era.
Later among the works it cites.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin · 2017
Later among the works it cites.
Analyzing uncertainty in neural machine translation
Myle Ott, Michael Auli, David Grangier, et al · 2018
Later among the works it cites.
Neural arithmetic logic units
Andrew Trask, Felix Hill, Scott E Reed, Jack Rae, Chris Dyer, and Phil Blunsom · 2018
Later among the works it cites.
Matlab optimization toolbox (r2019a), 2019
MathWorks · 2019
Closest in time.
Analysing mathematical reasoning abilities of neural models
David Saxton, Edward Grefenstette, Felix Hill, and Pushmeet Kohli · 2019
Closest in time.
Mathematica, version 12.0, 2019
Wolfram-Research · 2019
Closest in time.