Distilling Wikipedia mathematical knowledge into neural network models.

Joanne Taery Kim Mikel Landajuela Larma Brenden K. Petersen

Published 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