Distilling Wikipedia mathematical knowledge into neural network models.
Joanne Taery KimMikel Landajuela LarmaBrenden K. PetersenPublished in: CoRR (2021)
Keyphrases
- neural network model
- mathematical knowledge
- neural network
- computer software
- theorem prover
- artificial neural networks
- theorem proving
- neural models
- wordnet
- bp neural network
- knowledge base
- multilayer perceptron
- growing neural gas
- bayesian models
- network architecture
- radial basis function network
- number of hidden layers
- multi layer perceptron
- inference rules
- latent dirichlet allocation
- radial basis function
- back propagation
- knowledge representation
- natural language