Neural Theorem Provers Do Not Learn Rules Without Exploration

Michiel de Jong, Fei Sha

Neural symbolic processing aims to combine the generalization of logical learning approaches and the performance of neural networks. The Neural Theorem Proving (NTP) model by Rockt…