Fetching the paper…
Reading the bibliography…
This paper investigates the possibility of approximating multiple mathematical operations in latent space for expression derivation.
Deep learning for symbolic mathematics
Guillaume Lample and François Charton. 2019 · 1912
Earlier work this paper cites.
Lstm can solve hard long time lag problems
Sepp Hochreiter and Jürgen Schmidhuber. 1996 · 1996
Earlier work this paper cites.
Translating embeddings for modeling multi-relational data
Antoine Bordes, Nicolas Usunier, Alberto Garcia-Duran, Jason Weston, and Oksana Yakhnenko. 2013 · 2013
Earlier work this paper cites.
Efficient estimation of word representations in vector space
Tomas Mikolov, Kai Chen, Greg Corrado, and Jeffrey Dean. 2013 · 2013
Earlier work this paper cites.
Convolutional neural networks for sentence classification
Yoon Kim. 2014 · 2014
Earlier work this paper cites.
Semi-supervised classification with graph convolutional networks
Thomas N Kipf and Max Welling. 2016 · 2016
Earlier work this paper cites.
Inductive representation learning on large graphs
Will Hamilton, Zhitao Ying, and Jure Leskovec. 2017 · 2017
Earlier work this paper cites.
Efficient natural language response suggestion for smart reply
Matthew Henderson, Rami Al-Rfou, Brian Strope, Yun-Hsuan Sung, László Lukács, Ruiqi Guo, Sanjiv Kumar, Balint Miklos, and Ray Kurzweil. 2017 · 2017
Earlier work this paper 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, et al. 2017 · 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 · 2017
Earlier work this paper cites.
Analysing mathematical reasoning abilities of neural models
David Saxton, Edward Grefenstette, Felix Hill, and Pushmeet Kohli. 2018 · 2018
Earlier work this paper cites.
Multi-relational poincaré graph embeddings
Ivana Balazevic, Carl Allen, and Timothy Hospedales. 2019 · 2019
Cited alongside, same era.
Mathematical reasoning in latent space
Dennis Lee, Christian Szegedy, Markus Rabe, Sarah Loos, and Kshitij Bansal. 2019 · 2019
Cited alongside, same era.
A review of recurrent neural networks: Lstm cells and network architectures
Yong Yu, Xiaosheng Si, Changhua Hu, and Jianxun Zhang. 2019 · 2019
Cited alongside, same era.
Premise selection in natural language mathematical texts
Deborah Ferreira and André Freitas. 2020 · 2020
Cited alongside, same era.
Shortcut learning in deep neural networks
Robert Geirhos, Jörn-Henrik Jacobsen, Claudio Michaelis, Richard Zemel, Wieland Brendel, Matthias Bethge, and Felix A Wichmann. 2020 · 2020
Cited alongside, same era.
Compositionality decomposed: How do neural networks generalise?
Dieuwke Hupkes, Verna Dankers, Mathijs Mul, and Elia Bruni. 2020 · 2020
To be or not to be an integer? encoding variables for mathematical text
Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, Julia Rozanova, and Andre Freitas. 2022 · 2022
Later among the works it cites.
A path towards autonomous machine intelligence version 0.9. 2, 2022-06-27
Yann LeCun. 2022 · 2022
Later among the works it cites.
LILA: A unified benchmark for mathematical reasoning
Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, and Ashwin Kalyan. 2022a · 2022
Later among the works it cites.
TextGraphs 2022 shared task on natural language premise selection
Marco Valentino, Deborah Ferreira, Mokanarangan Thayaparan, André Freitas, and Dmitry Ustalov. 2022 · 2022
Later among the works it cites.
Symbolic brittleness in sequence models: on systematic generalization in symbolic mathematics
Sean Welleck, Peter West, Jize Cao, and Yejin Choi. 2022 · 2022
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Graph representations for higher-order logic and theorem proving
Aditya Paliwal, Sarah Loos, Markus Rabe, Kshitij Bansal, and Christian Szegedy. 2020 · 2020
Cited alongside, same era.
A survey of convolutional neural networks: analysis, applications, and prospects
Zewen Li, Fan Liu, Wenjie Yang, Shouheng Peng, and Jun Zhou. 2021 · 2021
Cited alongside, same era.
Towards out-of-distribution generalization: A survey
Zheyan Shen, Jiashuo Liu, Yue He, Xingxuan Zhang, Renzhe Xu, Han Yu, and Peng Cui. 2021 · 2021
Cited alongside, same era.
Naturalproofs: Mathematical theorem proving in natural language
Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, and Kyunghyun Cho. 2021 · 2021
Cited alongside, same era.
Wenhu Chen, Xueguang Ma, Xinyi Wang, and William W Cohen. 2022 · 2022
Cited alongside, same era.
Generating mathematical derivations with large language models
Jordan Meadows, Marco Valentino, and Andre Freitas. 2023a
Cited in the paper.
A survey of deep learning for mathematical reasoning
Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck, and Kai-Wei Chang. 2023 · 2023
Closest in time.
Introduction to mathematical language processing: Informal proofs, word problems, and supporting tasks
Jordan Meadows and André Freitas. 2023 · 2023
Closest in time.
Neural machine translation for mathematical formulae
Felix Petersen, Moritz Schubotz, Andre Greiner-Petter, and Bela Gipp. 2023 · 2023
Closest in time.
Testing the general deductive reasoning capacity of large language models using ood examples
Abulhair Saparov, Richard Yuanzhe Pang, Vishakh Padmakumar, Nitish Joshi, Seyed Mehran Kazemi, Najoung Kim, and He He. 2023 · 2023
Closest in time.
Multi-relational hyperbolic word embeddings from natural language definitions
Marco Valentino, Danilo S Carvalho, and André Freitas. 2023 · 2023
Closest in time.