Neural Theorem Provers Do Not Learn Rules Without Exploration.
Michiel de JongFei ShaPublished in: CoRR (2019)
Keyphrases
- theorem prover
- learning rules
- theorem proving
- automated reasoning
- first order logic
- automated theorem proving
- automated deduction
- computer algebra
- inference rules
- higher order logic
- artificial neural networks
- network architecture
- association rules
- neural network
- rule sets
- bayesian networks
- term rewriting
- proof planning
- operating system
- biologically inspired
- artificial intelligence
- learning algorithm
- machine learning