A Survey of Deep Learning for Mathematical Reasoning.

Pan Lu Liang Qiu Wenhao Yu Sean Welleck Kai-Wei Chang

Published in: CoRR (2022)

Keyphrases

deep learning
unsupervised learning
unsupervised feature learning
machine learning
weakly supervised
deep architectures
knowledge base
mental models
information retrieval
reinforcement learning
knowledge representation
maximum likelihood
restricted boltzmann machine